Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logistik

Verfasser / Beitragende:
Daniel Korn
Ort, Verlag, Jahr:
Sankt Augustin : infix, 1999
Beschreibung:
XV, 213 S. ; 21 cm
Format:
Buch (Hochschulschrift)
ID: 143973592