Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Felty, Amy P, Middeldorp, Aart
Format: Buch
Sprache:eng
Schlagworte:
Artificial intelligence
Automatic theorem proving
Automatic theorem proving-Congresses
Computer programming, programs, data
Logic, Symbolic and mathematical
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 9195
creator Felty, Amy P
Middeldorp, Aart
description This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
format Book
fullrecord <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783319214016</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC5586475</sourcerecordid><originalsourceid>FETCH-LOGICAL-a26942-e12c66b5e89fc340f5580845cc8b2d1a9e6d5ead0c5503bf14fa271f3a15a46e3</originalsourceid><addsrcrecordid>eNqNz8FLwzAUBvCIKI7ZP0EoXsRDIS_JS5Pj7DYVBl7Ea3lNU1fXNXPp9N-3OC968vT44MfH905YYnMjJVgBioM-_ZPP2cQC5qgl2guWxPjGOQdEoxRO2NXsMIQtDb5O574-uKENfZqlxWy-yAResrOGuuiTnztlL8vFc_GQrZ7uH4vZKiOhrRKZB-G0rtAb2zipeDPWc6PQOVOJGsh6XaOnmjtELqsGVEMih0YSICnt5ZTdHospbvxnXIduiOVH56sQNrH89c9ob452tw_vBx-H8ps53w976srFXaGFNaDtP-S4U6scR3l9lI4idW3fltvQh9c97daxRAWQGyG_ACALZGY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC5586475</pqid></control><display><type>book</type><title>Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings</title><source>Springer Books</source><creator>Felty, Amy P ; Middeldorp, Aart</creator><contributor>Felty, Amy P ; Middeldorp, Aart</contributor><creatorcontrib>Felty, Amy P ; Middeldorp, Aart ; Felty, Amy P ; Middeldorp, Aart</creatorcontrib><description>This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.</description><edition>1st ed. 2015</edition><identifier>ISBN: 9783319214016</identifier><identifier>ISBN: 3319214012</identifier><identifier>ISBN: 9783319214009</identifier><identifier>ISBN: 3319214004</identifier><identifier>EISBN: 9783319214016</identifier><identifier>EISBN: 3319214012</identifier><identifier>OCLC: 915756359</identifier><language>eng</language><publisher>Cham: Springer Nature</publisher><subject>Artificial intelligence ; Automatic theorem proving ; Automatic theorem proving-Congresses ; Computer programming, programs, data ; Logic, Symbolic and mathematical</subject><creationdate>2015</creationdate><tpages>648</tpages><format>648</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>LNCS sublibrary. SL 7, Artificial intelligence</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786</link.rule.ids></links><search><contributor>Felty, Amy P</contributor><contributor>Middeldorp, Aart</contributor><creatorcontrib>Felty, Amy P</creatorcontrib><creatorcontrib>Middeldorp, Aart</creatorcontrib><title>Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings</title><description>This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.</description><subject>Artificial intelligence</subject><subject>Automatic theorem proving</subject><subject>Automatic theorem proving-Congresses</subject><subject>Computer programming, programs, data</subject><subject>Logic, Symbolic and mathematical</subject><isbn>9783319214016</isbn><isbn>3319214012</isbn><isbn>9783319214009</isbn><isbn>3319214004</isbn><isbn>9783319214016</isbn><isbn>3319214012</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2015</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNqNz8FLwzAUBvCIKI7ZP0EoXsRDIS_JS5Pj7DYVBl7Ea3lNU1fXNXPp9N-3OC968vT44MfH905YYnMjJVgBioM-_ZPP2cQC5qgl2guWxPjGOQdEoxRO2NXsMIQtDb5O574-uKENfZqlxWy-yAResrOGuuiTnztlL8vFc_GQrZ7uH4vZKiOhrRKZB-G0rtAb2zipeDPWc6PQOVOJGsh6XaOnmjtELqsGVEMih0YSICnt5ZTdHospbvxnXIduiOVH56sQNrH89c9ob452tw_vBx-H8ps53w976srFXaGFNaDtP-S4U6scR3l9lI4idW3fltvQh9c97daxRAWQGyG_ACALZGY</recordid><startdate>2015</startdate><enddate>2015</enddate><creator>Felty, Amy P</creator><creator>Middeldorp, Aart</creator><general>Springer Nature</general><general>Springer International Publishing AG</general><general>Springer</general><scope>I4C</scope></search><sort><creationdate>2015</creationdate><title>Automated Deduction - CADE-25</title><author>Felty, Amy P ; Middeldorp, Aart</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a26942-e12c66b5e89fc340f5580845cc8b2d1a9e6d5ead0c5503bf14fa271f3a15a46e3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Artificial intelligence</topic><topic>Automatic theorem proving</topic><topic>Automatic theorem proving-Congresses</topic><topic>Computer programming, programs, data</topic><topic>Logic, Symbolic and mathematical</topic><toplevel>online_resources</toplevel><creatorcontrib>Felty, Amy P</creatorcontrib><creatorcontrib>Middeldorp, Aart</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Felty, Amy P</au><au>Middeldorp, Aart</au><au>Felty, Amy P</au><au>Middeldorp, Aart</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings</btitle><seriestitle>LNCS sublibrary. SL 7, Artificial intelligence</seriestitle><date>2015</date><risdate>2015</risdate><volume>9195</volume><isbn>9783319214016</isbn><isbn>3319214012</isbn><isbn>9783319214009</isbn><isbn>3319214004</isbn><eisbn>9783319214016</eisbn><eisbn>3319214012</eisbn><abstract>This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.</abstract><cop>Cham</cop><pub>Springer Nature</pub><oclcid>915756359</oclcid><tpages>648</tpages><edition>1st ed. 2015</edition></addata></record>
fulltext fulltext
identifier ISBN: 9783319214016
ispartof
issn
language eng
recordid cdi_askewsholts_vlebooks_9783319214016
source Springer Books
subjects Artificial intelligence
Automatic theorem proving
Automatic theorem proving-Congresses
Computer programming, programs, data
Logic, Symbolic and mathematical
title Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, 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-03T08%3A06%3A44IST&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%20Deduction%20-%20CADE-25:%2025th%20International%20Conference%20on%20Automated%20Deduction,%20Berlin,%20Germany,%20August%201-7,%202015,%20Proceedings&rft.au=Felty,%20Amy%20P&rft.date=2015&rft.volume=9195&rft.isbn=9783319214016&rft.isbn_list=3319214012&rft.isbn_list=9783319214009&rft.isbn_list=3319214004&rft_id=info:doi/&rft_dat=%3Cproquest_askew%3EEBC5586475%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783319214016&rft.eisbn_list=3319214012&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC5586475&rft_id=info:pmid/&rfr_iscdi=true