Nantilus
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (I...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham : Springer Nature |
| Collection : | Lecture Notes in Artificial Intelligence ; 7364 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Automated Reasoning Autre format: Automated Reasoning |
| LEADER | 03376clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN168319195 | ||
| 003 | http://www.sudoc.fr/168319195 | ||
| 005 | 20241001155000.0 | ||
| 010 | |a 978-3-642-31365-3 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-31365-3 |2 DOI |
| 035 | |a (OCoLC)812962134 | ||
| 035 | |a Springer978-3-642-31365-3 | ||
| 035 | |a Springer-11645-978-3-642-31365-3 | ||
| 100 | |a 20130325d2012 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Automated Reasoning |e 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings |f edited by Bernhard Gramlich, Dale Miller, Uli Sattler. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2012 | |
| 225 | 0 | |a Lecture Notes in Artificial Intelligence |x 2945-9141 |v 7364 | |
| 330 | |a This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |t Lecture Notes in Artificial Intelligence |x 2945-9141 |v 7364 | |
| 452 | | | |t Automated Reasoning |y 9783642313646 | |
| 452 | | | |t Automated Reasoning |y 9783642313660 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Numeric Computing | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Mathematics of Computing | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 1 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Numerical Analysis | |
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.131 |v 23 | ||
| 680 | |a QA8.9-QA10.3 | ||
| 701 | 1 | |a Gramlich |b Bernhard |4 651 | |
| 701 | 1 | |a Miller |b Dale |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240611 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |5 441099901:830852557 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31365-3 | |
| 915 | |5 441099901:830852557 |b SPRING13-00338 | ||
| 930 | |5 441099901:830852557 |b 441099901 |j g | ||
| 991 | |5 441099901:830852557 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:10 | ||
| 997 | |a NUM |b SPRING13-00338 |d NUMpivo |e EM |s d | ||
| 998 | |a 978171 | ||