|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001282819707536 |
|
|
Autore |
DMTCS '99 <1999 ; Auckland, N. Z.> |
|
|
Titolo |
Combinatorics, computation & logic 99 : proceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, 18-21 January 1999 / eds., C. S. Calude, M. J. Dinneen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : Springer, c1999 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
viii, 368 p. : ill. ; 25 cm |
|
|
|
|
|
|
Collana |
|
Australian computer science communications ; 21, 3 |
|
|
|
|
|
|
Classificazione |
|
AMS 68-06 |
AMS 00B25 |
LC QA164.D62 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Calude, C. S. |
Dinneen, M. J. |
|
|
|
|
|
|
|
|
Altri autori (Convegni) |
|
Australasian Theory Symposium <1999 ; Auckland, N. Z.> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Combinatorial analysis - Congresses |
Computational complexity - Congresses |
Logic, Symbolic and mathematical - Congresses |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references |
|
|
|
|
|