Automated reasoning and the discovery of missing and elegant proofs

• Main Author: Wos, Larry
• Other Authors: Pieper, Gail W.
• Format: Book
• Language: English
• Published: New Jersey Rinton Press 2003
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Τεχνητή νοημοσύνη
• Physical Description: xv, 372 p. ill. 24 cm 1 cd-rom
• ISBN: 1589490231