Automated reasoning introduction and applications

• Main Author: Wos, Larry
• Other Authors: Lusk, Ewing, Overbeek, Ross
• Format: Book
• Language: English
• Published: Englewood Cliffs, NJ Prentice-Hall 1984
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Τεχνητή νοημοσύνη
• Physical Description: xiv, 482 p. 24 cm.
• Bibliography: Includes references and index
• ISBN: 0130544469