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

16,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.

Learn more

Description of the lot

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

Conditions of payment and shipping

Questions and answers

LIBROS AMBIGÚ

From 01/01/2015
Spain (Madrid)

Seller registered as a professional.