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

"This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed a...

Full description

Bibliographic Details
Corporate Authors:	LPAR (Conference) Kiev, Ukraine), SpringerLink (Online service)
Other Authors:	Pfenning, Frank
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1994]
Series:	Lecture notes in computer science ; 822. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Automatic theorem proving > Congresses. logique mathématique. théorie démonstration. déduction. raisonnement automatique. programmation en logique. Programmation logique > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Logic programming. Logische Programmierung. Automatisches Beweisverfahren. Kiew <1994>. Electronic books. Kiew (1994) Kongre€. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		QA76.63 I565 1994

QA76.63 I565 1994	Available