Beschreibung
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) von Nipkow, Tobias im Online-Buchhandel:
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste