Automated deduction - CADE-12 proceedings

• Άλλοι συγγραφείς: Bundy, Alan
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer - Verlag 1994
• Σειρά: Lecture notes in artificial intelligence 814
• Θέματα: Λογική, Συμβολική και μαθηματική; Τεχνητή νοημοσύνη > Συνέδρια; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: xvi, 848 p. tab. 24 cm
• ISBN: 3540581561