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

3-540-12044-0

Descrizione fisica

2 v. : ill. ; 25 cm

Collana

Symbolic computation

Disciplina

005.131

Locazione

DINEL

FLFBC

Collocazione

10 P.T. 158

10 P.T. 159

P.1 IA 52 (2)

Lingua di pubblicazione

Inglese

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

MA1

Collocazione

121-I-34

Lingua di pubblicazione

Inglese

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

251 p. ; 16 cm

Disciplina

664.8

Locazione

FAGBC

Collocazione

60 664 C 9

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia