Lataa...
Logic for computer science : Foundations of Automatic Theorem proving/
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
John Wiley & Sons,
1987.
|
University of Calicut
| Hyllypaikka: |
68 GAL |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |