TY - BOOK ID - 5223834 TI - Frontiers of combining systems : first international workshop, Munich, March 1996 AU - Baader, Franz AU - Schulz, K. U. PY - 1996 VL - 3 SN - 0792342712 9780792342717 9401066434 9400903499 PB - Dordrecht ; Boston : Kluwer Academic Publishers, DB - UniCat KW - Logic, Symbolic and mathematical KW - Computer science KW - Logique symbolique et mathématique KW - Informatique KW - Congresses. KW - Congrès KW - Logic, symbolic and mathematical KW - Logique symbolique et mathématique KW - Congrès KW - Logic, Symbolic and mathematical - Congresses KW - Computer science - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5223834 AB - ER -