Termination Proofs for Logic Programs (Lecture Notes in Computer Science) - Tapa blanda

Plumer, Lutz

9780387528373: Termination Proofs for Logic Programs (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 0387528377 ISBN 13: 9780387528373

Editorial: Springer-Verlag, 1990

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 4,20

0 Nuevo

Book by Plumer Lutz

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

Editorial: Springer-Verlag
A�o de publicaci�n: 1990
Idioma: Ingl�s
ISBN 10: 0387528377
ISBN 13: 9780387528373
Encuadernaci�n: Tapa blanda
Contacto del fabricante: no disponible
Persona responsable: no disponible

Otras ediciones populares con el mismo t�tulo

9783540528371: Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Edici�n Destacada

ISBN 10: 3540528377 ISBN 13: 9783540528371
Editorial: Springer, 2008
Tapa blanda

Resultados de la b�squeda para Termination Proofs for Logic Programs (Lecture Notes...

Imagen del vendedor

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.

PLUMER Lutz.

Publicado por Springer-Verlag, 1990

ISBN 10: 0387528377 ISBN 13: 9780387528373

Antiguo o usado Tapa blanda

Librería: Libros Ambig�, Madrid, M, Espa�a

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal. N� de ref. del art�culo: 800010980

Contactar al vendedor

Comprar usado

EUR 4,20

Env�o por EUR 31,00
Se env�a de Espa�a a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito