International Conference on Automated Deduction 1990 : Kaiserslautern, FRG) creator Stickel, M. E. ed. text conference publication gw Berlin Springer 1990 monographic eng 688 p. M. E. Stickel, ed. Logic, Symbolic and mathematical Congresses Automatic theorem proving Congresses QA76.9 A96 I57 1990 Lecture notes in artificial intelligence 3540528857 080624 20260817161148.0