Theorem Proving in Large Theories

Erstveröffentlichung
1998
Autoren
Reif, Wolfgang
Schellhorn, Gerhard
Herausgeber
Bibel, W.
Schmitt, P.
Teil eines Buches


Erschienen in
Automated Deduction - A Basis for Applications / Bibel, Wolfgang ; Schmitt, Peter H. (Hrsg.). - Dodrecht : Springer, 1998. - ISBN 978-90-481-5052-6, ISBN 978-94-017-0437-3
Link zur Veröffentlichung
https://dx.doi.org/10.1007/978-94-017-0437-3_9
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutionen
Institut für Programmiermethodik und Compilerbau
Schlagwörter
[DDC Sachgruppe]: DDC 000 / Computer science, information & general works
Metadata
Zur Langanzeige