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: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Τεχνητή νοημοσύνη