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

Date : 1994

Editeur / Publisher : Berlin : Springer-Verlag , cop. 1994

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-387-58216-9

ISBN : 3-540-58216-9

Théorèmes -- Démonstration automatique

Programmation logique

Classification Dewey : 005.1/1

Pfenning, Frank (Directeur de publication / publishing director)

Collection : Lecture notes in computer science / Berlin : Springer , 1973-

Collection : Lecture notes in artificial intelligence / ed. by J. Siekmann / Berlin : Springer-Verlag , 1988-

Relation : Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 : proceedings / [edited by] Frank Pfenning / Berlin [etc.] : Springer