Isabelle/HOL: A Proof Assistant for Higher-Order Logic
- Författare
- Tobias Nipkow
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-45949-1 |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-45949-1 |