LOGIC FOR COMPUTER SCIENCE. FOUNDATIONS OF AUTOMATIC THEOREM PROVING. - GALLIR Jean H.


Zahlung tc Akzeptiert Zahlung tc

Zustand des Artikels: Normal (mit normalen Gebrauchsspuren)

Autor: GALLIR Jean H.


Harper & Row. London, 1986 24 x 15 cm., 510 pag. Tapa dura sin sobrecubiertas;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1
avatar alfonsolacalle
Vom 01/01/2015
Spanien (Madrid)
Verkäufer als professioneller Händler registriert.