• English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
  • Einloggen
Dokumentanzeige 
  •   Startseite
  • Universität Ulm
  • Publikationsnachweise
  • Dokumentanzeige
  •   Startseite
  • Universität Ulm
  • Publikationsnachweise
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Leitlinien | kiz Service OPARU | Kontakt
Impressum | Datenschutzerklärung
 

 

Erweiterte Suche

Browsen

Gesamter BestandBereiche & SammlungenPersonenInstitutionenPublikationstypUlmer Reihen & ZeitschriftenDDC-SachgruppenEU-Projekte UlmDFG-Projekte UlmWeitere Projekte Ulm

Mein Benutzerkonto

EinloggenRegistrieren

Statistik

Benutzungsstatistik

Leitlinien | kiz Service OPARU | Kontakt
Impressum | Datenschutzerklärung