1.

Record Nr.

UNINA990000100440403321

Autore

Tyndall, John

Titolo

La chaleur considéré come un mode de mouvement : cours en douze leȯns professée à l'Institution royale de la Grande-Bretagne / John Tyndall ; ouvrage traduit de l'anglais par F. Moigno

Pubbl/distr/stampa

Paris : E. Giraud, 1864

Descrizione fisica

XV, 462, 2 p., 1 tav. : ill. ; 19 cm

Disciplina

536

Locazione

FINBC

Collocazione

13 AR 19 A 29

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNISA990000200490203316

Autore

International workshop TABLEAUX'95 : 4. : 1995

Titolo

Theorem proving with analytic tableaux and related methods : 4th International workshop TABLEAUX'95 : SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995 / Peter Baumgartner [ed.]

Pubbl/distr/stampa

Berlin [etc.] : Springer-Verlag, copyr. 1995

ISBN

3-540-59338-1

Descrizione fisica

X, 352 p. : ill. ; 24 cm

Collana

Lecture notes in artificial intelligence ; 918

Disciplina

0063

Collocazione

006.3 LNIA (918)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

serie principale: lecture notes incomputer science