Integration of deductive systems. Workshop at the 15th International Conference on Automated Deduction, Lindau, 5.-10.7.1998

Bjorner, Nikolaj S. [Hrsg.]; Haehnle, Reiner [Hrsg.]; Menzel, Wolfram [Hrsg.]; Reif, Wolfgang [Hrsg.]; Schmitt, Peter H. [Hrsg.]

Seitenaufrufe: 17
seit 04.05.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Proceedingsband
Publikationsjahr	1998
Sprache	Englisch
Identifikator	KITopen-ID: 182698
Erscheinungsvermerk	1998.