Das Buch ist derzeit nicht auf Lager
Buchkauf
Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus
- Sprache
- Erscheinungsdatum
- 1995
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.