Das Buch ist derzeit nicht auf Lager

Mechanizing inductive theorem proving in conditional theories

Autoren

Ulrich Fraus

Parameter

ISBN: 9783183334100
Verlag: VDI-Verl.

Kategorien

Deine Änderungsvorschläge

Buchvariante

1995

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.