TY - BOOK ID - 125960423 TI - Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings AU - Kirchner, Hélène AU - Kirchner, Claude AU - International Conference on Automated Deduction PY - 1998 PB - Springer Berlin / Heidelberg DB - UniCat KW - Automatic theorem proving KW - Logic, Symbolic and mathematical KW - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:125960423 AB - ER -