Κανονική προβολή Προβολή MARC Προβολή ISBD

Wos, Larry

Automated reasoning and the discovery of missing and elegant proofs Larry Wos and Gail W. Pieper - New Jersey Rinton Press 2003 - xv, 372 p. ill. 24 cm 1 cd-rom

ISBN: 1589490231

Subjects--Topical Terms:
Ηλεκτρονικοί υπολογιστές--Προγραμματισμός
Τεχνητή νοημοσύνη

Dewey Class. No.: 006.3