01094oam 2200277z- 450 99646614310331620080308085414.0(CKB)1000000000210935(EXLCZ)99100000000021093520210330c1998uuuu -u- -engAutomated deduction, CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /Claude Kirchner, Hélène Kirchner, edsSpringer Berlin / Heidelberg3-540-64675-2 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, LINDAU, GERMANY, JULY 5-10, 1998, PROCEEDINGSAutomatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesAutomatic theorem provingCongresses.Logic, Symbolic and mathematicalCongresses.006.3/3Kirchner Hélène969880Kirchner Claude969881BOOK996466143103316Automated Deduction — CADE-152204548UNISA