Automated reasoning with analytic tableaux and related methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings / Hans De Nivelle (ed.)
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selec...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Other title: | TABLEAUX 2015. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2015.
|
| Series: | Lecture notes in computer science ;
9323. LNCS sublibrary. Artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b8488703 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 150917s2015 sz a o 101 0 eng d | ||
| 005 | 20240418151246.6 | ||
| 020 | |a 9783319243122 |q electronic bk | ||
| 020 | |a 3319243128 |q electronic bk | ||
| 020 | |z 9783319243115 | ||
| 024 | 7 | |a 10.1007/978-3-319-24312-2 | |
| 035 | |a (OCoLC)spr921302601 | ||
| 035 | |a (OCoLC)921302601 | ||
| 037 | |a spr10.1007/978-3-319-24312-2 | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d OCLCO |d OCLCF |d OCLCO |d YDXCP |d AZU | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.A96 | |
| 111 | 2 | |a TABLEAUX (Conference) |n (24th : |d 2015 : |c Wrocław, Poland) |0 http://id.loc.gov/authorities/names/nb2016000719. | |
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods : |b 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings / |c Hans De Nivelle (ed.) |
| 246 | 3 | |a TABLEAUX 2015. | |
| 264 | 1 | |a Cham : |b Springer, |c 2015. | |
| 300 | |a 1 online resource (xi, 342 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in artificial intelligence, |x 0302-9743 ; |v 9323. | |
| 490 | 1 | |a LNCS sublibrary. SL 7, Artificial intelligence. | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 520 | |a This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 17, 2015) | |
| 650 | 0 | |a Automatic theorem proving |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007101477. | |
| 650 | 7 | |a Automatic theorem proving. |2 fast |0 (OCoLC)fst00822777. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Nivelle, Hans, |e editor. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 9323. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 7, |p Artificial intelligence. |0 http://id.loc.gov/authorities/names/n2008077786. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24312-2 |z Full Text (via Springer) |
| 907 | |a .b84887035 |b 05-04-22 |c 12-01-15 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b84887035 |b 07-02-19 |c 12-01-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b84887035 |b 07-06-17 |c 12-01-15 | ||
| 907 | |a .b84887035 |b 05-23-17 |c 12-01-15 | ||
| 915 | |a I | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2015 English International | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2015 English International | ||
| 999 | f | f | |i 7f457bd4-54c0-5a7a-a7ce-28e9f0a7d5a4 |s ecfdd588-cb33-563a-9879-a21eaf5c0a32 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.A96 |h Library of Congress classification |i Ebooks, Prospector |n 1 |