• 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.

Integrating Automated and Interactive Theorem Proving

Erstveröffentlichung
1998
Autoren
Ahrendt, W.
Beckert, B.
Hähnle, R.
Menzel, W.
Reif, Wolfgang
et al.
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. - (Applied Logic Series ; 9). - S. 97-116. - ISBN 978-90-481-5051-9, ISBN 978-94-017-0435-9. - ISSN 1386-2790
Link zur Veröffentlichung
https://dx.doi.org/10.1007/978-94-017-0435-9_4
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