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.
Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth
| Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
Kofod-PetersenAnders
HeintzFredrik LangsethHelge |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613289760
1-283-28976-8 9786613289766 1-60750-754-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Foreword; Contents; Invited Talks; Full Papers; Extended Abstracts; Author Index |
| Record Nr. | UNINA-9910457569003321 |
| Washington, D.C., : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth
| Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
Kofod-PetersenAnders
HeintzFredrik LangsethHelge |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| ISBN |
6613289760
1-283-28976-8 9786613289766 1-60750-754-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Foreword; Contents; Invited Talks; Full Papers; Extended Abstracts; Author Index |
| Record Nr. | UNINA-9910781752003321 |
| Washington, D.C., : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth
| Eleventh Scandinavian Conference on Artificial Intelligence [[electronic resource] ] : SCAI 2011 / / edited by Anders Kofod-Petersen, Fredrik Heintz and Helge Langseth |
| Pubbl/distr/stampa | Washington, D.C., : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
Kofod-PetersenAnders
HeintzFredrik LangsethHelge |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical |
| ISBN |
6613289760
1-283-28976-8 9786613289766 1-60750-754-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Foreword; Contents; Invited Talks; Full Papers; Extended Abstracts; Author Index |
| Record Nr. | UNINA-9910828348803321 |
| Washington, D.C., : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The enumerative theory of conics after Halphen [e-book] / by Eduardo Casas-Alvero, Sebastian Xambó-Descamps
| The enumerative theory of conics after Halphen [e-book] / by Eduardo Casas-Alvero, Sebastian Xambó-Descamps |
| Autore | Casas-Alvero, Eduardo |
| Pubbl/distr/stampa | Berlin : Springer, 1986 |
| Descrizione fisica | 1 online resource (viii, 129 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Xambó-Descamps, Sebastianauthor |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1196 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540398325 |
| Classificazione |
AMS 14C17
AMS 14N10 AMS 51N05 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002215969707536 |
Casas-Alvero, Eduardo
|
||
| Berlin : Springer, 1986 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The equations : icons of knowledge / / Sander Bais
| The equations : icons of knowledge / / Sander Bais |
| Autore | Bais Sander |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, Mass., : Harvard University Press, c2005 |
| Descrizione fisica | 1 online resource (97 p.) |
| Disciplina | 512.9/4 |
| Soggetto topico |
Equations, Theory of
Logic, Symbolic and mathematical |
| ISBN | 1-4237-4626-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Table of Contents -- Introduction -- The tautological toolkit -- Rise and fall: The logistic equation -- Mechanics and gravity: Newton's dynamical equations and universal law of gravity -- The electromagnetic force: The Lorentz force law -- A local conservation law: The continuity equation -- Electrodynamics: The Maxwell equations -- Electromagnetic waves: The wave equations -- Solitary waves: The Korteweg-De Vries equation -- Thermodynamics: The three laws of thermodynamics -- Kinetic theory: The Boltzmann equation -- Hydrodynamics: The Navier-Stokes equations -- Special relativity: Relativistic kinematics -- General relativity: The Einstein equations -- Quantum mechanics: The Schrödinger equation -- The relativistic electron: The Dirac equation -- The strong force: Quantum chromodynamics -- Electro-weak interactions: The Glashow-Weinberg-Salam model -- String theory: The superstring action -- Back to the future: A final perspective. |
| Record Nr. | UNINA-9910820365103321 |
|
Bais Sander
|
||
| Cambridge, Mass., : Harvard University Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Equations [[electronic resource] ] : Icons of Knowledge / / Sander Bais
| The Equations [[electronic resource] ] : Icons of Knowledge / / Sander Bais |
| Autore | Bais Sander |
| Pubbl/distr/stampa | Amsterdam, NLD, : Amsterdam University Press, 2004 |
| Descrizione fisica | 1 online resource (97 p.) |
| Soggetto topico |
Equations, Theory of
Logic, Symbolic and mathematical SCIENCE Physics / General |
| ISBN | 1-4237-4626-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910451362203321 |
|
Bais Sander
|
||
| Amsterdam, NLD, : Amsterdam University Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Equations [[electronic resource] ] : Icons of Knowledge / / Sander Bais
| The Equations [[electronic resource] ] : Icons of Knowledge / / Sander Bais |
| Autore | Bais Sander |
| Pubbl/distr/stampa | Amsterdam, NLD, : Amsterdam University Press, 2004 |
| Descrizione fisica | 1 online resource (97 p.) |
| Disciplina | 512.9/4 |
| Soggetto topico |
Equations, Theory of
Logic, Symbolic and mathematical SCIENCE Physics / General |
| ISBN | 1-4237-4626-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910777562503321 |
|
Bais Sander
|
||
| Amsterdam, NLD, : Amsterdam University Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński
| Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński |
| Autore | Murawski Roman |
| Pubbl/distr/stampa | Amsterdam, : Rodopi, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 160.9 |
| Altri autori (Persone) | WoleńskiJan |
| Collana | Poznań studies in the philosophy of the sciences and the humanities |
| Soggetto topico |
Mathematics - Philosophy
Mathematics - Philosophy - History - 20th century Logic - History Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-79293-8
9786612792939 90-420-3091-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophy of mathematics -- pt. 2. History of logic and mathematics. |
| Record Nr. | UNINA-9910458784303321 |
|
Murawski Roman
|
||
| Amsterdam, : Rodopi, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński
| Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński |
| Autore | Murawski Roman |
| Pubbl/distr/stampa | Amsterdam, : Rodopi, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 160.9 |
| Altri autori (Persone) | WoleńskiJan |
| Collana | Poznań studies in the philosophy of the sciences and the humanities |
| Soggetto topico |
Mathematics - Philosophy
Mathematics - Philosophy - History - 20th century Logic - History Logic, Symbolic and mathematical |
| ISBN |
1-282-79293-8
9786612792939 90-420-3091-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophy of mathematics -- pt. 2. History of logic and mathematics. |
| Record Nr. | UNINA-9910785119903321 |
|
Murawski Roman
|
||
| Amsterdam, : Rodopi, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński
| Essays in the philosophy and history of logic and mathematics [[electronic resource] /] / Roman Murawski ; foreword, Jan Woleński |
| Autore | Murawski Roman |
| Pubbl/distr/stampa | Amsterdam, : Rodopi, 2010 |
| Descrizione fisica | 1 online resource (328 p.) |
| Disciplina | 160.9 |
| Altri autori (Persone) | WoleńskiJan |
| Collana | Poznań studies in the philosophy of the sciences and the humanities |
| Soggetto topico |
Mathematics - Philosophy
Mathematics - Philosophy - History - 20th century Logic - History Logic, Symbolic and mathematical |
| ISBN |
1-282-79293-8
9786612792939 90-420-3091-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Philosophy of mathematics -- pt. 2. History of logic and mathematics. |
| Record Nr. | UNINA-9910811616503321 |
|
Murawski Roman
|
||
| Amsterdam, : Rodopi, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
