Non più in commercio
Automated theorem proving
di Wolfgang Bibel (Autore)
|
Dettagli
Edizione: | 1 |
---|---|
Categoria: | Computer Science |
Volumi: | 0 |
Pagine: | 0 |
Collana: | - |
Data Pubblicazione: | -1982 |
Lingua: | Ger |
ISBN: | 9783528085209 |
di Wolfgang Bibel (Autore)
|
Edizione: | 1 |
---|---|
Categoria: | Computer Science |
Volumi: | 0 |
Pagine: | 0 |
Collana: | - |
Data Pubblicazione: | -1982 |
Lingua: | Ger |
ISBN: | 9783528085209 |