Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski
| Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski |
| Autore | International FCT-Conference <1983 ; Borgholm, Sweden> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | xi, 514 p. : ill. ; 24 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) | Karpinski, Marek |
| Soggetto topico |
Computational complexity - Congresses
Machine theory - Congresses |
| ISBN | 0387126899 (U.S.) |
| Classificazione |
AMS 68-06
CR C.2 CR E.2 CR E.3 CR E.4 CR F.2 CR F.3 CR F.4 CR G.2.1 QA267 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000904779707536 |
International FCT-Conference <1983 ; Borgholm, Sweden>
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy
| OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
| Autore | Kohlhase, Michael |
| Pubbl/distr/stampa | Berlin : Springer, c2006 |
| Descrizione fisica | xix, 428 p. : ill. ; 24 cm |
| Collana |
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems |
| Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
| ISBN |
3540378979
9783540378976 |
| Classificazione |
CR I.2
CR F.4 CR F.3.1 CR G.4 CR H.3 CR I.1 CR I.7 AMS 68P LC QA76.95.K64 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002027709707536 |
|
Kohlhase, Michael
|
||
| Berlin : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||