| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000209850203316 |
|
|
Autore |
International conference TPHOLs'98 : 11. : 1998 |
|
|
Titolo |
Theorem proving in higher order logics : 11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings / Jim Grundy , Malcolm Newey (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer-Verlag, copyr. 1998 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
VIII, 496 p. : ill. ; 20 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 1479 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991002225779707536 |
|
|
Titolo |
Dynamical systems [e-book] : proceedings of the special year held at the University of Maryland, College Park, 1986-87 / edited by James C. Alexander |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (viii, 726 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, 0075-8434 ; 1342 |
|
|
|
|
|
|
Classificazione |
|
AMS 28M20 |
AMS 54H20 |
AMS 58F |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics |
Global analysis (Mathematics) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |