02194nam0 22005533i 450 VAN0029634120250923115625.411N978940090349420250709d1996 |0itac50 baengNL|||| |||||i e bcrFrontiers of Combining SystemsFirst International Workshop, Munich, March 1996edited by Frans Baader and Klaus U. SchulzDordrechtSpringerKluwer1996xi, 338 p.24 cm001VAN002963312001 Applied Logic Series210 DordrechtKluwer1996300B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MFAlgorithmsKW:KArtificial IntelligenceKW:KAutomated deductionKW:KClassificationsKW:KCommunicationsKW:KComplexityKW:KComputer ScienceKW:KComputer algebraKW:KLogicKW:KModelingKW:KMulti-agent systemsKW:KProgrammingKW:KProvingKW:KSemanticsKW:KNLDordrechtVANL000068BaaderFransVANV252174340SchulzKlaus U.VANV252175340Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20250926RICAhttps://doi.org/10.1007/978-94-009-0349-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00296341BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12131 08eMF12131 20250924 Frontiers of Combining Systems2555154UNICAMPANIA