Research Catalog

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Title: Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov, ed.
Author: LPAR (1993 : Saint Petersburg, Russia)
Publication: Berlin ; New York : Springer-Verlag, c1993.

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	JSE 93-1371	Offsite

Details

Additional Authors

Description

xiii, 386 p. : ill.; 24 cm.

Series Statement

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

Uniform Title

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

Alternative Title

LPAR '93.

Subjects

Note

"LPAR '93 is organized by the Russian Association for Logic Programming"--Pref.

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 93-1371

ISBN

0387569448

OCLC

28533902
NYPG93-B62423

Conference

LPAR (1993 : Saint Petersburg, Russia)

Title

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov, ed.

Imprint

Berlin ; New York : Springer-Verlag, c1993.

Series

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

Lecture notes in computer science ; 698.

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

Bibliography

Includes bibliographical references.

Added Author

Voronkov, A. (Andreĭ), 1959-

Russian Association for Logic Programming.

Added Title

LPAR '93.

Research Call Number

JSE 93-1371

View in Legacy Catalog