Automated reasoning and the discovery of missing and elegant proofs

• Κύριος συγγραφέας: Wos, Larry
• Άλλοι συγγραφείς: Pieper, Gail W.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New Jersey Rinton Press 2003
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: xv, 372 p. ill. 24 cm 1 cd-rom
• ISBN: 1589490231