Für die Filterung wurden keine Ergebnisse gefunden!
- paperback
- 240 Seiten
- Erschienen 2002
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das...
ab 32,09 €