| 000 | 02634nam a22004575i 4500 | ||
|---|---|---|---|
| 003 | DE-He213 | ||
| 005 | 20231104114231.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150919s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319242460 _z978-3-319-24246-0 |
||
| 024 | 7 |
_a10.1007/978-3-319-24246-0 _2doi |
|
| 050 | 4 | _aQ334-342 | |
| 072 | 7 |
_aUYQ _2bicssc |
|
| 072 | 7 |
_aCOM004000 _2bisacsh |
|
| 072 | 7 |
_aUYQ _2thema006.3 _223 |
|
| 245 | 1 | 0 |
_aFrontiers of Combining Systems : _b10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / _cedited by Carsten Lutz, Silvio Ranise. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 | _a1 online resource | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 0 |
_aLecture Notes in Artificial Intelligence ; _v9322 |
|
| 520 | _aThis book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. . | ||
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aLogic design. | |
| 650 | 1 | 4 |
_aArtificial Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/I21000 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aProgramming Techniques. _0http://scigraph.springernature.com/things/product-market-codes/I14010 |
| 700 | 1 |
_aLutz, Carsten. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aRanise, Silvio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-24246-0 _3Springer eBooks _zOnline access link to the resource |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c200433862 _d52074 |
||
| 942 |
_2lcc _cEBK |
||
| 041 | _aeng | ||