| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000495700403321 |
|
|
Titolo |
Automation of Reasoning / edited by Jörg Siekmann and Graham Wrightson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin; Heidelberg ; New York : Springer, 1983 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
10 P.T. 158 |
10 P.T. 159 |
P.1 IA 52 (2) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Vol. 1.: Classical papers on computational logic 1957-1966 Vol. 2.: Classical papers on computational logic 1967-1970 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990001311840403321 |
|
|
Autore |
Jacobson, Nathan |
|
|
Titolo |
Structure and representations of the Jordan algebras / Jacobson Nathan |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence : American Math Society, 1968 |
|
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNINA990001716850403321 |
|
|
Autore |
Poma Treccani, Cesarina |
|
|
Titolo |
Conservazione della frutta in regime di freddo / Cesarina Poma Treccani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Firenze : Vallecchi, 1965 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |