Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier, Department of Computer and Information Science, University of Pennsylvania
- Författare
- Jean H. Gallier
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-0-486-80508-5 |