Lataa...
Automated theorem proving: theory and practice
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
New York
Springer
2001
|
| Aiheet: |
UL
| Hyllypaikka: |
004.83 NEW |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |