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.
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
| Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 287 p. 102 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Programming languages (Electronic computers) Application software Education—Data processing Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Programming Languages, Compilers, Interpreters Computer Appl. in Social and Behavioral Sciences Computers and Education |
| ISBN | 3-319-96812-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management. |
| Record Nr. | UNISA-996466278303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
| Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 287 p. 102 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Programming languages (Electronic computers) Application software Education—Data processing Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Programming Languages, Compilers, Interpreters Computer Appl. in Social and Behavioral Sciences Computers and Education |
| ISBN | 3-319-96812-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management. |
| Record Nr. | UNINA-9910349416303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / / edited by James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
| Intelligent Computer Mathematics [[electronic resource] ] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / / edited by James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 312 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Database management Information storage and retrieval Mathematical logic Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery |
| ISBN | 3-642-22673-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465968403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Knowledge Management [[electronic resource] ] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / / edited by Jonathan Borwein, William M. Farmer
| Mathematical Knowledge Management [[electronic resource] ] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / / edited by Jonathan Borwein, William M. Farmer |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 295 p.) |
| Disciplina | 511.3/6028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Application software Database management Computer communication systems Mathematics Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Database Management Computer Communication Networks Mathematics, general |
| ISBN | 3-540-37106-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. |
| Record Nr. | UNISA-996466143703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||