A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) - Tapa blanda

Walther

9780934613491: A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)

Tapa blanda

ISBN 10: 0934613494 ISBN 13: 9780934613491

Editorial: Morgan Kaufmann Publishers In, 1994

Esta edici�n ISBN ya no est� disponible.

Book by Walther Christoph

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Editorial: Morgan Kaufmann Publishers In
A�o de publicaci�n: 1994
Idioma: Ingl�s
ISBN 10: 0934613494
ISBN 13: 9780934613491
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 160
Contacto del fabricante: no disponible
Persona responsable: no disponible