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.
Approximating volumes and integrals in o-minimal and p-minimal theories / Marek Karpinski and Angus Macintyre
| Approximating volumes and integrals in o-minimal and p-minimal theories / Marek Karpinski and Angus Macintyre |
| Autore | Karpinski, Marek |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 6 (2000), p. 149-178. |
| Altri autori (Persone) | Macintyre, Angus |
| Soggetto topico |
Complexity of computation [MSC 2010] 03D15
Abstract model theory [MSC 2010] 03C95 Equations and systems with randomness [MSC 2010] 34Fxx Length, area, volume [MSC 2010] 52A38 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093429 |
Karpinski, Marek
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Fundamentals in Computation Theory : Proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland September 19-23, 1977 / Edited by Marek Karpinski
| Fundamentals in Computation Theory : Proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland September 19-23, 1977 / Edited by Marek Karpinski |
| Autore | Karpinski, Marek |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 3-540-08442-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001015160403321 |
|
Karpinski, Marek
|
||
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen
| Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / eds. Marek Karpinski, Jan van Leeuwen |
| Autore | Karpinski, Marek |
| Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1985 |
| Descrizione fisica | ix, 187 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) | Leeuwen, Jan : vanauthor |
| Collana | Annals of discrete mathematics ; 24 |
| Soggetto topico |
Computational complexity - Congresses
Computer science-mathematics Machine theory - Congresses |
| ISBN | 0444876472 |
| Classificazione |
AMS 68-XX
QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001447249707536 |
|
Karpinski, Marek
|
||
| Amsterdam ; New York : North-Holland, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski, Jan van Leeuwen
| Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski, Jan van Leeuwen |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1985 |
| Descrizione fisica | IX, 187 p. : ill. ; 24 cm. |
| Disciplina | 511 |
| Collana |
North-Holland mathematics studies
Annals of discrete mathematics |
| Soggetto topico | Complessità computazionale |
| ISBN | 0-444-87647-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015809 |
| Amsterdam [etc.] : North-Holland, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||