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.
Computation, logic, philosophy : A collection of Essays / Wang Hao.
| Computation, logic, philosophy : A collection of Essays / Wang Hao. |
| Autore | Hao, Wang |
| Pubbl/distr/stampa | Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 |
| Descrizione fisica | XXVII, 373 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Logica generale
Teoria della ricorsivita' |
| ISBN | 7-03-000211-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001324800403321 |
Hao, Wang
|
||
| Beijing ; Dordrecht (NL) : Science Press : Kluwer, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational methods in ordinary differential equations / J. D. Lambert
| Computational methods in ordinary differential equations / J. D. Lambert |
| Autore | Lambert, J. D. |
| Pubbl/distr/stampa | Chichester : J. Wiley & Sons, 1973 |
| Descrizione fisica | xv, 278 p. ; 24 cm |
| Disciplina | 511 |
| Collana | Introductory mathematics for scientists and engineers |
| Soggetto topico | Ordinary differential equations |
| ISBN | 0471511943 |
| Classificazione | AMS 65L |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000775269707536 |
|
Lambert, J. D.
|
||
| Chichester : J. Wiley & Sons, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computers and Graph Theory : Representing Knowledge for Processing by Computers / Ramachandran Bharath
| Computers and Graph Theory : Representing Knowledge for Processing by Computers / Ramachandran Bharath |
| Autore | Bharath, Ramachandran |
| Pubbl/distr/stampa | New York : Ellis Horwood, 1991 |
| Descrizione fisica | 136 p. ; 24 cm |
| Disciplina | 511 |
| Soggetto non controllato | Metodi matematici per la statistica, Teoria dei grafi, Informatica |
| ISBN | 0131616056 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002538230403321 |
|
Bharath, Ramachandran
|
||
| New York : Ellis Horwood, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connections in combinatorial optimization / Andras Frank
| Connections in combinatorial optimization / Andras Frank |
| Autore | Frank, Andras |
| Pubbl/distr/stampa | New York : Oxford University Press, 2011 |
| Descrizione fisica | xxiii, 639 p. ; 24 cm |
| Disciplina | 511 |
| Collana | Oxford lecture series in mathematics and its applications |
| Soggetto non controllato | Teoria dei grafi, Combinatorica |
| ISBN | 978-0-19920527-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009432460403321 |
|
Frank, Andras
|
||
| New York : Oxford University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connectivity in graphs / by W. T. Tutte
| Connectivity in graphs / by W. T. Tutte |
| Autore | Tutte, William Thomas |
| Pubbl/distr/stampa | Toronto : University of Toronto Press, 1966 |
| Descrizione fisica | v, 143 p. ; 23 cm |
| Disciplina | 511 |
| Collana | Mathematical expositions |
| Soggetto non controllato | Teoria dei grafi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001238710403321 |
|
Tutte, William Thomas
|
||
| Toronto : University of Toronto Press, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford (N.Y.) : Clarendon Press, c1990 |
| Descrizione fisica | XV, 282 p. ; 22 cm |
| Disciplina | 511 |
| Soggetto non controllato |
Matematica - Filosofia
Logica - Filosofia |
| ISBN | 0-19-823975-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001319720403321 |
|
Chihara, Charles S.
|
||
| Oxford (N.Y.) : Clarendon Press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | 1 online resource (299 p.) |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-98918-5
9786611989187 0-19-152000-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910454674903321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910795842803321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara
| Constructibility and mathematical existence [[electronic resource] /] / Charles S. Chihara |
| Autore | Chihara Charles S. <1932-> |
| Pubbl/distr/stampa | Oxford, : Clarendon Press |
| Descrizione fisica | xv, 282 p. : ill |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
0191520004
9780191520006 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910823203403321 |
|
Chihara Charles S. <1932->
|
||
| Oxford, : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructibility and mathematical existence / Charles S. Chihara
| Constructibility and mathematical existence / Charles S. Chihara |
| Autore | Chihara, Charles S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1990 |
| Descrizione fisica | xv, 282 p. : ill. ; 23 cm. |
| Disciplina | 511 |
| Soggetto topico |
Constructive mathematics
Mathematical logic Mathematics-philosophy Symbolic logic |
| ISBN | 0198239750 |
| Classificazione | QAB.4.C45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000783669707536 |
|
Chihara, Charles S.
|
||
| Oxford : Clarendon Press, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
