Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992

• Άλλοι συγγραφείς: Kapur, Deepak (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer - Verlag 1992
• Σειρά: Lecture notes in artificial intelligence 607
• Θέματα: Λογική, Συμβολική και μαθηματική; Τεχνητή νοημοσύνη > Συνέδρια; Τεχνητή νοημοσύνη
• Περιγραφή τεκμηρίου: Includes index
• Φυσική περιγραφή: xv, 793 p. 26 cm.
• ISBN: 3540556028