Parameterized abstractions used for proof planning:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Autexier, Serge (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Kaiserslautern ; Saarbrücken DFKI 1997
Beschreibung:13 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!