Research Catalog

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

Title: Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).
Author: LPAR (5th : 1994 : Kiev, Ukraine)
Publication: Berlin ; New York : Springer-Verlag, c1994.

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 94-1770	Offsite

Details

Additional Authors

Pfenning, Frank.

Description

x, 344 p.; 24 cm.

Series Statement

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

Uniform Title

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

Subject

Note

Includes index.

Call Number

JSE 94-1770

ISBN

3540582169 (Berlin)
0387582169 (New York : alk. paper)

LCCN

94021152

OCLC

30664311
NYPGR30664311-B

Conference

LPAR (5th : 1994 : Kiev, Ukraine)

Title

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).

Imprint

Berlin ; New York : Springer-Verlag, c1994.

Series

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

Lecture notes in computer science ; 822.

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

Added Author

Pfenning, Frank.

Research Call Number

JSE 94-1770

View in Legacy Catalog