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

Summary goes here

Guardado en:

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	inglés
Materias:	Logic programming Automatic theorem proving Programmation logique Théorèmes Automatic theorem proving. Logic programming. Automatisches Beweisverfahren Logische Programmierung Kiew <1994> Kongreß Conference papers and proceedings. Kiew (1994)
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

era
format	Book
genre
geographic
id	2b3a2387-c0e5-4055-8bfd-237bd9360b57
isbn	3540582169 9783540582168 0387582169 9780387582160
issn
language	eng
physical	x, 344 pages ;24 cm
publication	– publisher: SpringerVerlag dateOfPublication: ©1994
publishDate	©1994
subjects
title	Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).
topic	Logic programming Automatic theorem proving Logic programming Automatic theorem proving Programmation logique Théorèmes Programmation logique Théorèmes Automatic theorem proving. Logic programming. Automatisches Beweisverfahren Logische Programmierung Automatic theorem proving Logic programming Théorèmes Programmation logique Kiew <1994> Kongreß Conference papers and proceedings. Kiew (1994)