Normal view MARC view ISBD view

Logic programming and automated reasoning /Springer-Verlag, 4th international conference, LPAR '93 St. Petesburg, Russia, July 13-20, 1993 proceedings

Contributor(s):

Material type: Text

TextPublication details: Berlin: Springer-Verlag, 1993Description: 386pSubject(s):

Item type:

Proceedings

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode
Proceedings	National Science Library	519.852(082.2) N3 (Browse shelf(Opens below))		Available		174700

There are no comments on this title.

to post a comment.