Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

PROTEIN: A PROver with a Theory Extension INterface

Lecture notes in computer science. Bd. 814. Berlin: Springer 1994 S. 769 - 773

Erscheinungsjahr: 1994

ISBN/ISSN: 0302-9743

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik