Suchergebnis

zu den Filteroptionen

Suche nach: Schlagwort = Automatisches Beweisverfahren und Sammlung = ULB Düsseldorf

Mechanizing Inductive Theorem Proving in Conditional Theories
Fraus, Ulrich
Als Ms. gedr., Düsseldorf : VDI-Verl., 1995