Cargando…
10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management
| Autores principales: | , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1305444 |
| _version_ | 1780921140221313024 |
|---|---|
| author | Autexier, Serge Calmet, Jacques Delahaye, David Ion, Patrick D F Rideau, Laurence Rioboo, Renaud Sexton, Alan P |
| author_facet | Autexier, Serge Calmet, Jacques Delahaye, David Ion, Patrick D F Rideau, Laurence Rioboo, Renaud Sexton, Alan P |
| author_sort | Autexier, Serge |
| collection | CERN |
| id | cern-1305444 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2010 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-13054442021-04-25T17:15:07Zhttp://cds.cern.ch/record/1305444engAutexier, SergeCalmet, JacquesDelahaye, DavidIon, Patrick D FRideau, LaurenceRioboo, RenaudSexton, Alan P10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge ManagementComputing and ComputersMathematical Physics and MathematicsSpringeroai:cds.cern.ch:13054442010 |
| spellingShingle | Computing and Computers Mathematical Physics and Mathematics Autexier, Serge Calmet, Jacques Delahaye, David Ion, Patrick D F Rideau, Laurence Rioboo, Renaud Sexton, Alan P 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title | 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title_full | 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title_fullStr | 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title_full_unstemmed | 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title_short | 10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management |
| title_sort | 10th international conference on artificial intelligence and symbolic computation, 17th symposium on the integration of symbolic computation and mechanised reasoning and 9th international conference on mathematical knowledge management |
| topic | Computing and Computers Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/1305444 |
| work_keys_str_mv | AT autexierserge 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT calmetjacques 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT delahayedavid 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT ionpatrickdf 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT rideaulaurence 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT rioboorenaud 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement AT sextonalanp 10thinternationalconferenceonartificialintelligenceandsymboliccomputation17thsymposiumontheintegrationofsymboliccomputationandmechanisedreasoningand9thinternationalconferenceonmathematicalknowledgemanagement |