Frontiers of combining systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9322 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | XVII, 357 Seiten Illustrationen |
| ISBN: | 9783319242460 9783319242453 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24246-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209473 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319242460 |c Online |9 978-3-319-24246-0 | ||
| 020 | |a 9783319242453 |c Print |9 978-3-319-24245-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-24246-0 |2 doi | |
| 035 | |a (OCoLC)923666910 | ||
| 035 | |a (DE-599)BVBBV043209473 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Frontiers of combining systems |b 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings |c edited by Carsten Lutz, Silvio Ranise |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XVII, 357 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9322 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 2 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 2 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 1 | 3 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 1 | 4 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 1 | 5 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Lutz, Carsten |d 1971- |0 (DE-588)134037901 |4 edt | |
| 711 | 2 | |a FroCoS |n 10. |d 2015 |c Breslau |j Sonstige |0 (DE-588)1079500243 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9322 |w (DE-604)BV014880109 |9 9322 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24246-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632634 | ||
Datensatz im Suchindex
| _version_ | 1804175708453339136 |
|---|---|
| adam_text | FRONTIERS OF COMBINING SYSTEMS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS 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.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Lutz, Carsten 1971- |
| author2_role | edt |
| author2_variant | c l cl |
| author_GND | (DE-588)134037901 |
| author_facet | Lutz, Carsten 1971- |
| building | Verbundindex |
| bvnumber | BV043209473 |
| classification_tum | DAT 540f DAT 706f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)923666910 (DE-599)BVBBV043209473 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-24246-0 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03696nmm a2200853zcb4500</leader><controlfield tag="001">BV043209473</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319242460</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24246-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319242453</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24245-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24246-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923666910</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209473</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Frontiers of combining systems</subfield><subfield code="b">10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings</subfield><subfield code="c">edited by Carsten Lutz, Silvio Ranise</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 357 Seiten</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9322</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lutz, Carsten</subfield><subfield code="d">1971-</subfield><subfield code="0">(DE-588)134037901</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FroCoS</subfield><subfield code="n">10.</subfield><subfield code="d">2015</subfield><subfield code="c">Breslau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1079500243</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9322</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9322</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24246-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632634</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209473 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1079500243 |
| isbn | 9783319242460 9783319242453 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632634 |
| oclc_num | 923666910 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XVII, 357 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings edited by Carsten Lutz, Silvio Ranise 1st ed. Cham Springer International Publishing [2015] © 2015 XVII, 357 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9322 0302-9743 Computer science Computer programming Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Informatik Künstliche Intelligenz Computational logic (DE-588)4255672-7 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s Programmierung (DE-588)4076370-5 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Verifikation (DE-588)4135577-5 s Computational logic (DE-588)4255672-7 s Terminologische Logik (DE-588)4359506-6 s Komplexitätstheorie (DE-588)4120591-1 s Künstliche Intelligenz (DE-588)4033447-8 s Lutz, Carsten 1971- (DE-588)134037901 edt FroCoS 10. 2015 Breslau Sonstige (DE-588)1079500243 oth Lecture Notes in Computer Science 9322 (DE-604)BV014880109 9322 https://doi.org/10.1007/978-3-319-24246-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings Lecture Notes in Computer Science Computer science Computer programming Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Informatik Künstliche Intelligenz Computational logic (DE-588)4255672-7 gnd Terminologische Logik (DE-588)4359506-6 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmierung (DE-588)4076370-5 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4255672-7 (DE-588)4359506-6 (DE-588)4120591-1 (DE-588)4033447-8 (DE-588)4196735-5 (DE-588)4036202-4 (DE-588)4069034-9 (DE-588)4076370-5 (DE-588)4135577-5 (DE-588)1071861417 |
| title | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings |
| title_auth | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings |
| title_exact_search | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings |
| title_full | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings edited by Carsten Lutz, Silvio Ranise |
| title_fullStr | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings edited by Carsten Lutz, Silvio Ranise |
| title_full_unstemmed | Frontiers of combining systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings edited by Carsten Lutz, Silvio Ranise |
| title_short | Frontiers of combining systems |
| title_sort | frontiers of combining systems 10th international symposium frocos 2015 wroclaw poland september 21 24 2015 proceedings |
| title_sub | 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, proceedings |
| topic | Computer science Computer programming Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Informatik Künstliche Intelligenz Computational logic (DE-588)4255672-7 gnd Terminologische Logik (DE-588)4359506-6 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Programmierung (DE-588)4076370-5 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computer science Computer programming Computer logic Mathematical logic Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Informatik Künstliche Intelligenz Computational logic Terminologische Logik Komplexitätstheorie Theoretische Informatik Logik Automatisches Beweisverfahren Programmierung Verifikation Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24246-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT lutzcarsten frontiersofcombiningsystems10thinternationalsymposiumfrocos2015wroclawpolandseptember21242015proceedings AT frocosbreslau frontiersofcombiningsystems10thinternationalsymposiumfrocos2015wroclawpolandseptember21242015proceedings |