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.
3-D computer graphics : a mathematical introduction with OpenGL / Samuel R. Buss
| 3-D computer graphics : a mathematical introduction with OpenGL / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Pubbl/distr/stampa | New York : Cambridge University Press, 2003 |
| Descrizione fisica | xvi, 371 p. : ill. ; 24 cm |
| Disciplina | 006.693 |
| Soggetto topico |
Computer graphics
Three-dimensional display systems |
| ISBN | 0521821037 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001855329707536 |
Buss, Samuel R.
|
||
| New York : Cambridge University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Bounded arithmetic / Samuel R. Buss
| Bounded arithmetic / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1986 |
| Descrizione fisica | 221 p. : ill. ; 25 cm |
| Disciplina | 519 |
| Collana | Studies in Proof Theory |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001219480403321 |
|
Buss, Samuel R.
|
||
| Napoli, : Bibliopolis, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bounded Arithmetic / Samuel R. Buss
| Bounded Arithmetic / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Pubbl/distr/stampa | s.l. : s.e., 1985 |
| Descrizione fisica | ii, 189 p. ; 30 cm |
| Disciplina | 519 |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093440403321 |
|
Buss, Samuel R.
|
||
| s.l. : s.e., 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss
| Bounded arithmetic and constant depth Frege proofs / Samuel R. Buss |
| Autore | Buss, Samuel R. |
| Edizione | [Roma : Aracne] |
| Descrizione fisica | Estratto da: Quaderni di matematica, n. 13 (2003), p. 153-174. |
| Soggetto topico |
Complexity of proofs [MSC 2010] 03F20
Complexity of computation [MSC 2010] 03D15 First-order arithmetic and fragments [MSC 2010] 03F30 Cut-elimination and normal-form theorems [MSC 2010] 03F05 Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2010] 68Q15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0093495 |
|
Buss, Samuel R.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of proof theory / edited by Samuel R. Buss
| Handbook of proof theory / edited by Samuel R. Buss |
| Pubbl/distr/stampa | Amsterdam : Elsevier, 1998 |
| Descrizione fisica | 811 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti - Opere di riferimento generale
Teoria della dimostrazione - Generale Collezioni di articoli di contenuto specifico vario |
| ISBN | 0-444-89840-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009504270403321 |
| Amsterdam : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of proof theory / edited by Samuel R. Buss
| Handbook of proof theory / edited by Samuel R. Buss |
| Pubbl/distr/stampa | Amsterdam ; Oxford, : Elsevier, 1998 |
| Descrizione fisica | 811 p. ; 23 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
| ISBN | 04-448-9840-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054507 |
| Amsterdam ; Oxford, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of proof theory [e-book] / edited by Samuel R. Buss
| Handbook of proof theory [e-book] / edited by Samuel R. Buss |
| Pubbl/distr/stampa | New York : Elsevier, 1998 |
| Descrizione fisica | 811 p. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Buss, Samuel R. |
| Collana | Studies in logic and the foundations of mathematics ; 137 |
| Soggetto topico | Proof theory |
| ISBN |
9780444898401
0444898409 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003276539707536 |
| New York : Elsevier, 1998 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Handbook of proof theory / edited by Samuel R. Buss
| Handbook of proof theory / edited by Samuel R. Buss |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 1998 |
| Descrizione fisica | 811 p. ; 23 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
| ISBN | 04-448-9840-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054507 |
| Amsterdam, : Elsevier, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
| Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
| Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 |
| Descrizione fisica | XV, 540 p. : ill. ; 25 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 15-688-1114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054509 |
| Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák
| Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
| Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 |
| Descrizione fisica | XV, 540 p. : ill. ; 25 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 15-688-1114-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054509 |
| Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
