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 |
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] ] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 375 p. 81 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Programming languages (Electronic computers) Computer simulation Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling |
ISBN | 3-319-62075-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Calculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. |
Record Nr. | UNISA-996466292103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 375 p. 81 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Programming languages (Electronic computers) Computer simulation Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling |
ISBN | 3-319-62075-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Calculemus track: integration of symbolic computation and mechanized reasoning -- Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings -- Systems and Projects track: descriptions of systems and relevant projects as keys research topics. |
Record Nr. | UNINA-9910485152703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
Disciplina | 006.30151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Math Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-319-20615-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Record Nr. | UNISA-996198514103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
Disciplina | 006.30151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Math Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-319-20615-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Record Nr. | UNINA-9910484373003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
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 |
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 | ||
|
Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction / / organizers and program chairs, Marino Miculan, Florian Rabe |
Pubbl/distr/stampa | New York : , : ACM, , 2017 |
Descrizione fisica | 1 online resource (27 pages) |
Disciplina | 005.115 |
Collana | ACM International Conference Proceedings Series |
Soggetto topico |
Logic programming
Logic, Symbolic and mathematical |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
LFMTP '17 : proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice
Logical Frameworks and Meta-Languages Theory and Practice 2017 |
Record Nr. | UNINA-9910375856303321 |
New York : , : ACM, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|