Caricamento...
Automated theorem proving: theory and practice
| Autore principale: | |
|---|---|
| Natura: | Printed Book |
| Lingua: | English |
| Pubblicazione: |
New York
Springer
2001
|
| Soggetti: |
| Descrizione del documento: | CD ROM available |
|---|---|
| Descrizione fisica: | xiii, 229p. |
| ISBN: | 0-387-95075-3 |