| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000528210403321 |
|
|
Autore |
IFIP TC7 Conference on system modelling and optimization : <19. ; : 1999 |
|
|
|
|
Titolo |
|
|
|
|
System modelling and optimization : methods, theory and applications : 19th IFIP TC7 conference on system modelling and optimization, July 12-16, 1999, Cambridge, UK / edited by M.J.D. Powell, S. Scholtes |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dordrecht : Kluwer academic, ©2000 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
VIII, 347 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
International Federation for Information Processing ; 46 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001020619707536 |
|
|
Autore |
Andrews, Peter B. |
|
|
Titolo |
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Orlando : Academic Press, 1986 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Computer science and applied mathematics |
|
|
|
|
|
|
Classificazione |
|
AMS 03-01 |
AMS 03-XX |
AMS 03B |
QA9.A638 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical logic |
Symbolic logic |
Type theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNIORUON00497890 |
|
|
Autore |
Cheikho, Louis |
|
|
Titolo |
'Ilm al-adab / ta'līf Luwīs Šaiẖū |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bayrūt, : Maṭbaʿat al-Ābā' al-Yasūʿīyīn, 1887- |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |