| A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations (Gebundene Ausgabe) von Jürgen Avenhaus | |||||||
 |
| ||||||
| Rezensionen ansehen... | |||||||
| | | | | | ||
 | Angebote zu Tactic , Based , Inductive ab 1 Euro! | ||||||
| Sonstige Artikel: | |||||||
| Der irdische Amor. (Broschiert) von Hans-Ulrich Treichel Ansmann X 4 Energy Power Solution NiMH Akku AAA Micro 950 mA 4er Pack von Ansmann Nur noch 60 Sekunden (Director's Cut) von Nicolas Cage | |||||||
| Mehr zu Programmierung, Beweistheorie | |||||||
| Home ..., Angebote ansehen ..., Begleitseite ... | |||||||
| Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de | |||||||
| Copyright © DomainLoc.com GmbH (Impressum) | |||||||