KIT | KIT-Bibliothek | Impressum | Datenschutz

Structured proving - an annotated example

Weber, Franz



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Jahr 1991
Sprache Deutsch
Identifikator KITopen-ID: 268291
Erscheinungsvermerk Karlsruhe 1991. (FZI-Bericht. 4.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page