LOGIC FOR COMPUTER SCIENCE. FOUNDATIONS OF AUTOMATIC THEOREM PROVING.

Gallir Jean H.

Referencia: 800095127

Harper & Row. London, 1986 24 x 15 cm., 510 pag. Tapa dura sin sobrecubiertas;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1