|
|
|
|
| LEADER |
03627nam a2200613 4500 |
| 001 |
978-3-319-99906-7 |
| 003 |
DE-He213 |
| 005 |
20191220125558.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180823s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319999067
|9 978-3-319-99906-7
|
| 024 |
7 |
|
|a 10.1007/978-3-319-99906-7
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.6-76.66
|
| 072 |
|
7 |
|a UM
|2 bicssc
|
| 072 |
|
7 |
|a COM051000
|2 bisacsh
|
| 072 |
|
7 |
|a UM
|2 thema
|
| 082 |
0 |
4 |
|a 005.11
|2 23
|
| 245 |
1 |
0 |
|a Rules and Reasoning
|h [electronic resource] :
|b Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /
|c edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a XXIII, 328 p. 80 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering ;
|v 11092
|
| 505 |
0 |
|
|a Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. .
|
| 520 |
|
|
|a This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Mathematical logic.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Application software.
|
| 650 |
1 |
4 |
|a Programming Techniques.
|0 http://scigraph.springernature.com/things/product-market-codes/I14010
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 http://scigraph.springernature.com/things/product-market-codes/I14037
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|0 http://scigraph.springernature.com/things/product-market-codes/I21000
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|0 http://scigraph.springernature.com/things/product-market-codes/I16048
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 650 |
2 |
4 |
|a Computer Appl. in Administrative Data Processing.
|0 http://scigraph.springernature.com/things/product-market-codes/I2301X
|
| 700 |
1 |
|
|a Benzmüller, Christoph.
|e editor.
|0 (orcid)0000-0002-3392-3093
|1 https://orcid.org/0000-0002-3392-3093
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Ricca, Francesco.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Parent, Xavier.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Roman, Dumitru.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319999050
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319999074
|
| 830 |
|
0 |
|a Programming and Software Engineering ;
|v 11092
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-99906-7
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
