Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings
The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as we...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 1397 |
| creator | Swart, Harrie de |
| description | The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis. |
| doi_str_mv | 10.1007/3-540-69778-0 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783540697787</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3072811</sourcerecordid><originalsourceid>FETCH-LOGICAL-a30974-390b9d79e8e5a7651f4a370211b9a30c137b373b571cf1b086b8a165580fa2ab3</originalsourceid><addsrcrecordid>eNqN0FtLwzAUB_CIF5xzj773TUSqJz1N07wIc8wLTAQZvoakS21dbWeTbfrt7UXfFAyE8IffCeccQk4oXFAAfok-C8GPBOexDzvkCJvYJdglI8HjLoft3SMDQAh8wUM8IAPBYhagCNghGVn7Cs3BgLIQB-RqvHbVm3Jm4T0ZZasyL1-8be4yb1yq4tPliTdXujBq_eGpskVFhx-My6qFPSb7qSqsGX2_Q_J8M51P7vzZ4-39ZDzzFULThI8CtFhwYWLDFI8YTUOFHAJKtWhIQpFr5KgZp0lKNcSRjhWNGIshVYHSOCRn_cfKLs3WZlXhrNwURlfV0sqf4dtl8Mae99au6mYcU8teUZDtHiXKxsoOS2h08ItWdZLlG_N30WlftKqr97WxTnadJKZ0tSrk9HoShYJB-B-JwIOYUvwCjeSIlw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3072811</pqid></control><display><type>book</type><title>Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings</title><source>Springer Books</source><creator>Swart, Harrie de</creator><contributor>de Swart, Harrie</contributor><creatorcontrib>Swart, Harrie de ; SpringerLink (Online service) ; de Swart, Harrie</creatorcontrib><description>The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.</description><edition>1</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540644064</identifier><identifier>ISBN: 3540644067</identifier><identifier>ISBN: 9783662198629</identifier><identifier>ISBN: 3662198622</identifier><identifier>EISBN: 3540697780</identifier><identifier>EISBN: 9783540697787</identifier><identifier>DOI: 10.1007/3-540-69778-0</identifier><identifier>OCLC: 958523925</identifier><identifier>OCLC: 771192238</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Artificial Intelligence ; Artificial intelligence-Congresses ; Automatic theorem proving ; Computer Science ; Congresses ; Mathematical Logic and Formal Languages</subject><creationdate>1998</creationdate><tpages>335</tpages><format>335</format><rights>Springer-Verlag Berlin Heidelberg 1998</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Artificial Intelligence</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-540-69778-7</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-69778-0$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-69778-0$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,309,780,784,786,789,4050,27925,38255,41442,42511</link.rule.ids></links><search><contributor>de Swart, Harrie</contributor><creatorcontrib>Swart, Harrie de</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib><title>Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings</title><description>The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.</description><subject>Artificial Intelligence</subject><subject>Artificial intelligence-Congresses</subject><subject>Automatic theorem proving</subject><subject>Computer Science</subject><subject>Congresses</subject><subject>Mathematical Logic and Formal Languages</subject><issn>0302-9743</issn><isbn>9783540644064</isbn><isbn>3540644067</isbn><isbn>9783662198629</isbn><isbn>3662198622</isbn><isbn>3540697780</isbn><isbn>9783540697787</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>1998</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNqN0FtLwzAUB_CIF5xzj773TUSqJz1N07wIc8wLTAQZvoakS21dbWeTbfrt7UXfFAyE8IffCeccQk4oXFAAfok-C8GPBOexDzvkCJvYJdglI8HjLoft3SMDQAh8wUM8IAPBYhagCNghGVn7Cs3BgLIQB-RqvHbVm3Jm4T0ZZasyL1-8be4yb1yq4tPliTdXujBq_eGpskVFhx-My6qFPSb7qSqsGX2_Q_J8M51P7vzZ4-39ZDzzFULThI8CtFhwYWLDFI8YTUOFHAJKtWhIQpFr5KgZp0lKNcSRjhWNGIshVYHSOCRn_cfKLs3WZlXhrNwURlfV0sqf4dtl8Mae99au6mYcU8teUZDtHiXKxsoOS2h08ItWdZLlG_N30WlftKqr97WxTnadJKZ0tSrk9HoShYJB-B-JwIOYUvwCjeSIlw</recordid><startdate>1998</startdate><enddate>1998</enddate><creator>Swart, Harrie de</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope/></search><sort><creationdate>1998</creationdate><title>Automated Reasoning with Analytic Tableaux and Related Methods</title><author>Swart, Harrie de</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a30974-390b9d79e8e5a7651f4a370211b9a30c137b373b571cf1b086b8a165580fa2ab3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Artificial Intelligence</topic><topic>Artificial intelligence-Congresses</topic><topic>Automatic theorem proving</topic><topic>Computer Science</topic><topic>Congresses</topic><topic>Mathematical Logic and Formal Languages</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Swart, Harrie de</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Swart, Harrie de</au><au>de Swart, Harrie</au><aucorp>SpringerLink (Online service)</aucorp><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings</btitle><seriestitle>Lecture Notes in Artificial Intelligence</seriestitle><date>1998</date><risdate>1998</risdate><volume>1397</volume><issn>0302-9743</issn><isbn>9783540644064</isbn><isbn>3540644067</isbn><isbn>9783662198629</isbn><isbn>3662198622</isbn><eisbn>3540697780</eisbn><eisbn>9783540697787</eisbn><abstract>The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-69778-0</doi><oclcid>958523925</oclcid><oclcid>771192238</oclcid><tpages>335</tpages><edition>1</edition></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | |
| issn | 0302-9743 |
| language | eng |
| recordid | cdi_askewsholts_vlebooks_9783540697787 |
| source | Springer Books |
| subjects | Artificial Intelligence Artificial intelligence-Congresses Automatic theorem proving Computer Science Congresses Mathematical Logic and Formal Languages |
| title | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T06%3A33%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Automated%20Reasoning%20with%20Analytic%20Tableaux%20and%20Related%20Methods:%20International%20Conference,%20TABLEAUX'98%20Oisterwijk,%20The%20Netherlands,%20May%205-8,%201998%20Proceedings&rft.au=Swart,%20Harrie%20de&rft.aucorp=SpringerLink%20(Online%20service)&rft.date=1998&rft.volume=1397&rft.issn=0302-9743&rft.isbn=9783540644064&rft.isbn_list=3540644067&rft.isbn_list=9783662198629&rft.isbn_list=3662198622&rft_id=info:doi/10.1007/3-540-69778-0&rft_dat=%3Cproquest_askew%3EEBC3072811%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540697780&rft.eisbn_list=9783540697787&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3072811&rft_id=info:pmid/&rfr_iscdi=true |