Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Mentés helye:
Testületi szerző(k): | |
---|---|
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Cham : Springer International Publishing,
2017
|
Sorozat: | Lecture Notes in Artificial Intelligence ; 10501 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-319-66902-1 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
id |
opac-EUL01-000955720 |
---|---|
collection |
e-book |
institution |
L_042 EUL01 |
spelling |
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings edited by Renate A. Schmidt, Cláudia Nalon Cham Springer International Publishing 2017 XII, 381 p. ill. szöveg txt rdacontent számítógépes c rdamedia távoli hozzáférés cr rdacarrier szövegfájl PDF rda Lecture Notes in Artificial Intelligence 10501 Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity. This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. Nyomtatott kiadás: ISBN 9783319669014 Nyomtatott kiadás: ISBN 9783319669038 Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. könyv e-book Artificial intelligence. EUL10000183324 Y mesterséges intelligencia EUL10000021058 Y Computer science. EUL10000449227 Y számítástudomány EUL10000219601 Y Software engineering. EUL10000225264 Y szoftverfejlesztés EUL10000332283 Y Logic design. EUL10000437736 Y Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. elektronikus könyv Schmidt, Renate A. szerk. EUL10001014493 Y Nalon, Cláudia szerk. EUL10001014494 Y SpringerLink (Online service) közreadó testület International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 26. 2017 Brasília, Brazília Lecture notes in artificial intelligence EUL10000129854 Y LNAI EUL10000129854 N Online változat https://doi.org/10.1007/978-3-319-66902-1 Cham Springer International Publishing Imprint: Springer 2017 EUL01 |
language |
English |
format |
Book |
author2 |
Schmidt, Renate A., szerk. Nalon, Cláudia, szerk. |
author_facet |
Schmidt, Renate A., szerk. Nalon, Cláudia, szerk. SpringerLink (Online service), közreadó testület International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília) |
author_corporate |
SpringerLink (Online service), közreadó testület International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília) |
author_sort |
Schmidt, Renate A. |
title |
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings |
spellingShingle |
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings Lecture Notes in Artificial Intelligence ; 10501 Artificial intelligence. mesterséges intelligencia Computer science. számítástudomány Software engineering. szoftverfejlesztés Logic design. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. elektronikus könyv |
title_sub |
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings |
title_short |
Automated Reasoning with Analytic Tableaux and Related Methods |
title_full |
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings edited by Renate A. Schmidt, Cláudia Nalon |
title_fullStr |
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings edited by Renate A. Schmidt, Cláudia Nalon |
title_full_unstemmed |
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings edited by Renate A. Schmidt, Cláudia Nalon |
title_auth |
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings |
title_sort |
automated reasoning with analytic tableaux and related methods 26th international conference tableaux 2017 brasilia brazil september 25 28 2017 proceedings |
series |
Lecture Notes in Artificial Intelligence ; 10501 |
series2 |
Lecture notes in artificial intelligence LNAI |
publishDate |
2017 |
publishDateSort |
2017 |
physical |
XII, 381 p. : ill. |
isbn |
978-3-319-66902-1 |
callnumber-first |
Q - Science |
callnumber-subject |
Q - General Science |
callnumber-label |
Q334-342 |
callnumber-raw |
13740 |
callnumber-search |
13740 |
topic |
Artificial intelligence. mesterséges intelligencia Computer science. számítástudomány Software engineering. szoftverfejlesztés Logic design. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. elektronikus könyv |
topic_facet |
Artificial intelligence. mesterséges intelligencia Computer science. számítástudomány Software engineering. szoftverfejlesztés Logic design. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. elektronikus könyv Artificial intelligence. mesterséges intelligencia Computer science. számítástudomány Software engineering. szoftverfejlesztés Logic design. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Programming Techniques. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
url |
https://doi.org/10.1007/978-3-319-66902-1 |
illustrated |
Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
006 - Special computer methods |
dewey-full |
006.3 |
dewey-sort |
16.3 |
dewey-raw |
006.3 |
dewey-search |
006.3 |
first_indexed |
2023-12-26T23:18:15Z |
last_indexed |
2023-12-29T19:19:17Z |
recordtype |
opac |
publisher |
Cham : Springer International Publishing |
_version_ |
1786641340499492865 |
score |
13,36506 |
generalnotes |
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. |