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

6,00 €

Pagamento tc Accetta il Pagamento tc

Condizioni del lotto: Normale (con segni di utilizzo normale)

Il venditore accetta il Pagamento tc. Metodo di pagamento sicuro e protetto, un gateway di pagamento con carta integrato, veloce ed efficiente.

Descrizione del lotto

Autor: PLUMER Lutz.

ISBN: 387528377

Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1

Da 01/01/2015
Spagna (Madrid)

Venditore registrato come professionista.