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

6,00 €

tc Pay Accepts tc Pay

Condition of the lot: Normal (with signs of use)

The seller accepts tc Pay. Safe and secure payment method, an integrated card payment gateway, fast and efficient.

Description of the lot

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

From 01/01/2015
Spain (Madrid)

Seller registered as a professional.