Theorem Proving in Higher Order Logics
- Författare
- David Basin
- Språk
- Okänt
![](https://images.amazon.com/images/P/3540451307.01.MZZZZZZZ.jpg)
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-45130-3 |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-45130-3 |