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

• Other Authors: Kapur, Deepak (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer - Verlag 1992
• Series: Lecture notes in artificial intelligence 607
• Subjects: Λογική, Συμβολική και μαθηματική; Τεχνητή νοημοσύνη > Συνέδρια; Τεχνητή νοημοσύνη
• Item Description: Includes index
• Physical Description: xv, 793 p. 26 cm.
• ISBN: 3540556028