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


Zahlung tc Akzeptiert Zahlung tc

Zustand des Artikels: Normal (mit normalen Gebrauchsspuren)

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
avatar alfonsolacalle
Vom 01/01/2015
Spanien (Madrid)
Verkäufer als professioneller Händler registriert.