Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logistik
Gespeichert in:
Verfasser / Beitragende:
Daniel Korn
Ort, Verlag, Jahr:
Sankt Augustin :
infix,
1999
Beschreibung:
XV, 213 S. ; 21 cm
Format:
Buch (Hochschulschrift)