CAAP '81 : trees in algebra and programming 6th colloquium, Genoa, March 5-7, 1981, proceedings / edited by E. Astesiano and C. Böhm |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
Descrizione fisica | VI, 364 p. ; 24 cm |
Disciplina | 005.73 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Atti di conferenze
Scienza del computer - Atti di conferenze Teoria dei grafi Strutture di dati |
ISBN | 3-540-10828-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009911520403321 |
Berlin : Springer-Verlag, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors |
Pubbl/distr/stampa | Providence : American Mathematical Society, 2011 |
Descrizione fisica | VIII, 519 p. ; 26 cm |
Disciplina | 519.2 |
Collana | Contemporary mathematics |
Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Combinatorica - Atti di conferenze Scienza del computer - Atti di conferenze |
ISBN | 978-0-8218-4943-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009526110403321 |
Providence : American Mathematical Society, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|