Automated deduction - CADE-12 proceedings

• Other Authors: Bundy, Alan
• Format: Book
• Language: English
• Published: Berlin Springer - Verlag 1994
• Series: Lecture notes in artificial intelligence 814
• Subjects: Λογική, Συμβολική και μαθηματική; Τεχνητή νοημοσύνη > Συνέδρια; Τεχνητή νοημοσύνη
• Physical Description: xvi, 848 p. tab. 24 cm
• ISBN: 3540581561