Artículos relacionados a A Many Sorted Calculus Based on Resolution and Paramodulatio...

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.

Sinopsis

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

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0273087185 ISBN 13:  9780273087182
Editorial: Morgan Kaufmann, 1987
Tapa blanda