Automated reasoning introduction and applications

• Κύριος συγγραφέας: Wos, Larry
• Άλλοι συγγραφείς: Lusk, Ewing, Overbeek, Ross
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Englewood Cliffs, NJ Prentice-Hall 1984
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: xiv, 482 p. 24 cm.
• Βιβλιογραφία: Includes references and index
• ISBN: 0130544469