1.

Record Nr.

UNISA990001837430203316

Autore

International conference, TPHOLs 2003 <16. ; 2003 ; Rome>

Titolo

Theorem proving in higher order logics : 16. International conference, TPHOLs 2003 : Rome, Italy, September 2003 : proceedings / David Basin, Burkhart Wolff (eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-40664-6

Descrizione fisica

X, 366 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 2758

Disciplina

005.1

Collocazione

001 LNCS 2758

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia