Non più in commercio
Automation of Reasoning 2
Classical Papers on Computational Logic 1967-1970
|
di J. Siekmann, G. Wrightson (Autori)
|
Dettagli
| Edizione: | 1 |
|---|---|
| Categoria: | Computer Science |
| Volumi: | 0 |
| Pagine: | 0 |
| Collana: | - |
| Data Pubblicazione: | -1983 |
| Lingua: | Eng |
| ISBN: | 9783642819575 |
