Research Catalog

Logic programming and automated reasoning : proceedings

Title: Logic programming and automated reasoning : proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15-202, 1992 ; A. Voronkov, ed.
Author: International Conference LPAR '92 (1992 : St. Petersburg, Russia)
Publication: Berlin ; New York : Springer-Verlag, c1992.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSF 92-729	Offsite

Details

Additional Authors

Voronkov, A. (Andreĭ), 1959-

Description

xiv, 509 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 624. Lecture notes in artificial intelligence

Uniform Title

Lecture notes in computer science ; 624.
Lecture notes in computer science. Lecture notes in artificial intelligence.

Subjects

Bibliography (note)

Includes bibliographical references.

Call Number

JSF 92-729

ISBN

354055727X (Berlin)
038755727X (New York)

LCCN

92021886

OCLC

26095693
NYPG92-B73674

Conference

International Conference LPAR '92 (1992 : St. Petersburg, Russia)

Title

Logic programming and automated reasoning : proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15-202, 1992 ; A. Voronkov, ed.

Imprint

Berlin ; New York : Springer-Verlag, c1992.

Series

Lecture notes in computer science ; 624. Lecture notes in artificial intelligence

Lecture notes in computer science ; 624.

Lecture notes in computer science. Lecture notes in artificial intelligence.

Bibliography

Includes bibliographical references.

Added Author

Voronkov, A. (Andreĭ), 1959-

Research Call Number

JSF 92-729

View in Legacy Catalog