Ma bibliothèque

Limiter la recherche aux exemplaires disponibles

Ressources

Conference

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

Adresse Bibliographique

Berlin ; New York : Springer-Verlag, c1994.

Localisation	Cote	Statut
Innovative University Kline Collection	QA76.63 I565 1994	AVAILABLE

Description	x, 344 p ; 24 cm.
Collection	Lecture notes in computer science ; 822 Lecture notes in artificial intelligence
	Lecture notes in computer science ; 822.
	Lecture notes in computer science.
Notes	Includes index.
Sujet	Logic programming -- Congresses.
	Automatic theorem proving -- Congresses.
Autre Auteur	Pfenning, Frank.
ISBN	3540582169 (Berlin)
	0387582169 (New York : alk. paper) :