Vista normal Vista MARC Vista ISBD

Bundy, Alan,

The computer modelling of mathematical reasonign / Alan bundy - 403 páginas

ISBN: 0-12-141250-4 (en estuche) 0-12-141352-0 (rustica)

Subjects--Topical Terms:
Matemáticas--Procesamiento de datos
Lógica simbólica y matemática
Demostración automática de teoremas

LC Class. No.: QA76.95 / B85