Verfügbarkeit: Automated deduction - CADE-24

Automated deduction - CADE-24: 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7898 : Lecture notes in artificial intelligence
Schlagworte:	Automatisches Beweisverfahren Konferenzschrift > 2013 > Lake Placid, NY
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XV, 466 S.) graph. Darst.
ISBN:	9783642385735 9783642385742
DOI:	10.1007/978-3-642-38574-2

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041401674
003	DE-604
005	20140402
007	cr\|uuu---uuuuu
008	131107s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642385735 \|9 978-3-642-38573-5
020			\|a 9783642385742 \|c Online \|9 978-3-642-38574-2
024	7		\|a 10.1007/978-3-642-38574-2 \|2 doi
035			\|a (OCoLC)874375035
035			\|a (DE-599)BVBBV041401674
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 006.3 \|2 22/ger
084			\|a DAT 716f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a 510 \|2 sdnb
084			\|a DAT 000 \|2 stub
245	1	0	\|a Automated deduction - CADE-24 \|b 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings \|c CADE-24. Maria Paola Bonacina (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XV, 466 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7898 : Lecture notes in artificial intelligence
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Lake Placid, NY \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0		\|5 DE-604
700	1		\|a Bonacina, Maria Paola \|e Sonstige \|0 (DE-588)103562754X \|4 oth
711	2		\|a CADE (International Conference on Automated Deduction) \|n 24 \|d 2013 \|c Lake Placid, NY \|j Sonstige \|0 (DE-588)1035627868 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7898 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 7898
856	4	0	\|u https://doi.org/10.1007/978-3-642-38574-2 \|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=026849182&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
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=026849182&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026849182

Datensatz im Suchindex

_version_	1820875510004056064
adam_text	AUTOMATED DEDUCTION – CADE-24 / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS ONE LOGIC TO USE THEM ALL THE TREE WIDTH OF SEPARATION LOGIC WITH RECURSIVE DEFINITIONS HIERARCHIC SUPERPOSITION WITH WEAK ABSTRACTION COMPLETENESS AND DECIDABILITY RESULTS FOR FIRST-ORDER CLAUSES WITH INDICES A PROOF PROCEDURE FOR HYBRID LOGIC WITH BINDERS, TRANSITIVITY AND RELATION HIERARCHIES TRACTABLE INFERENCE SYSTEMS: AN EXTENSION WITH A DEDUCIBILITY PREDICATE COMPUTING TINY CLAUSE NORMAL FORMS SYSTEM DESCRIPTION: E-KRHYPER 1.4 EXTENSIONS FOR UNIQUE NAMES AND DESCRIPTION LOGIC ANALYSING VOTE COUNTING ALGORITHMS VIA LOGIC: AND ITS APPLICATION TO THE CADE ELECTION SCHEME AUTOMATED REASONING, FAST AND SLOW FOUNDATIONAL PROOF CERTIFICATES IN FIRST-ORDER LOGIC COMPUTATION IN REAL CLOSED INFINITESIMAL AND TRANSCENDENTAL EXTENSIONS OF THE RATIONALS A SYMBIOSIS OF INTERVAL CONSTRAINT PROPAGATION AND CYLINDRICAL ALGEBRAIC DECOMPOSITION DREAL: AN SMT SOLVER FOR NONLINEAR THEORIES OVER THE REALS SOLVING DIFFERENCE CONSTRAINTS OVER MODULAR ARITHMETIC ASYMMETRIC UNIFICATION: A NEW UNIFICATION PARADIGM FOR CRYPTOGRAPHIC PROTOCOL ANALYSIS HIERARCHICAL COMBINATION PROCH: PROOF RECONSTRUCTION FOR HOL LIGHT AN IMPROVED BDD METHOD FOR INTUITIONISTIC PROPOSITIONAL LOGIC: BDDINTKT SYSTEM DESCRIPTION TOWARDS MODULARLY COMPARING PROGRAMS USING AUTOMATED THEOREM PROVERS REUSE IN SOFTWARE VERIFICATION BY ABSTRACT METHOD CALLS DYNAMIC LOGIC WITH TRACE SEMANTICS TEMPORALIZING ONTOLOGY-BASED DATA ACCESS VERIFYING REFUTATIONS WITH EXTENDED RESOLUTION HIERARCHICAL REASONING AND MODEL GENERATION FOR THE VERIFICATION OF PARAMETRIC HYBRID SYSTEMS QUANTIFIER INSTANTIATION TECHNIQUES FOR FINITE MODEL FINDING IN SMT AUTOMATING INDUCTIVE PROOFS USING THEORY EXPLORATION E-MALES 1.1 TFF1: THE TPTP TYPED FIRST-ORDER FORM WITH RANK-1 POLYMORPHISM PROPOSITIONAL TEMPORAL PROVING WITH REDUCTIONS TO A SAT PROBLEM INKRESAT: MODAL REASONING VIA INCREMENTAL REDUCTION TO SAT BV2EPR: A TOOL FOR POLYNOMIALLY TRANSLATING QUANTIFIER-FREE BIT-VECTOR FORMULAS INTO EPR THE 481 WAYS TO SPLIT A CLAUSE AND DEAL WITH PROPOSITIONAL VARIABLES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. AUTOMATED DEDUCTION – CADE-24 / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, CADE-24, HELD IN LAKE PLACID, NY, USA, IN JUNE 2013. THE 31 REVISED FULL PAPERS PRESENTED TOGETHER WITH 2 INVITED PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 71 INITIAL SUBMISSIONS. CADE IS THE MAJOR FORUM FOR THE PRESENTATION OF RESEARCH IN ALL ASPECTS OF AUTOMATED DEDUCTION, RANGING FROM THEORETICAL AND METHODOLOGICAL ISSUES TO THE PRESENTATION OF NEW THEOREM PROVERS, SOLVERS AND SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)103562754X
building	Verbundindex
bvnumber	BV041401674
classification_rvk	SS 4800
classification_tum	DAT 716f DAT 706f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)874375035 (DE-599)BVBBV041401674
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 Mathematik
doi_str_mv	10.1007/978-3-642-38574-2
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041401674</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140402</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642385735</subfield><subfield code="9">978-3-642-38573-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642385742</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-38574-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38574-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874375035</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041401674</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">510</subfield><subfield code="2">sdnb</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">Automated deduction - CADE-24</subfield><subfield code="b">24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings</subfield><subfield code="c">CADE-24. Maria Paola Bonacina (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 466 S.)</subfield><subfield code="b">graph. Darst.</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">7898 : Lecture notes in artificial intelligence</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Lake Placid, NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonacina, Maria Paola</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)103562754X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CADE (International Conference on Automated Deduction)</subfield><subfield code="n">24</subfield><subfield code="d">2013</subfield><subfield code="c">Lake Placid, NY</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1035627868</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">7898 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7898</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38574-2</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=026849182&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=026849182&sequence=000003&line_number=0002&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026849182</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Lake Placid, NY gnd-content
genre_facet	Konferenzschrift 2013 Lake Placid, NY
id	DE-604.BV041401674
illustrated	Illustrated
indexdate	2025-01-10T15:16:46Z
institution	BVB
institution_GND	(DE-588)1035627868
isbn	9783642385735 9783642385742
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026849182
oclc_num	874375035
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XV, 466 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings CADE-24. Maria Paola Bonacina (ed.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XV, 466 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7898 : Lecture notes in artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Lake Placid, NY gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Bonacina, Maria Paola Sonstige (DE-588)103562754X oth CADE (International Conference on Automated Deduction) 24 2013 Lake Placid, NY Sonstige (DE-588)1035627868 oth Lecture notes in computer science 7898 : Lecture notes in artificial intelligence (DE-604)BV014880109 7898 https://doi.org/10.1007/978-3-642-38574-2 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849182&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849182&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings Lecture notes in computer science Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4069034-9 (DE-588)1071861417
title	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
title_auth	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
title_exact_search	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
title_full	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings CADE-24. Maria Paola Bonacina (ed.)
title_fullStr	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings CADE-24. Maria Paola Bonacina (ed.)
title_full_unstemmed	Automated deduction - CADE-24 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings CADE-24. Maria Paola Bonacina (ed.)
title_short	Automated deduction - CADE-24
title_sort	automated deduction cade 24 24th international conference on automated deduction lake placid ny usa june 9 14 2013 proceedings
title_sub	24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
topic	Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Automatisches Beweisverfahren Konferenzschrift 2013 Lake Placid, NY
url	https://doi.org/10.1007/978-3-642-38574-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849182&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849182&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bonacinamariapaola automateddeductioncade2424thinternationalconferenceonautomateddeductionlakeplacidnyusajune9142013proceedings AT cadeinternationalconferenceonautomateddeductionlakeplacidny automateddeductioncade2424thinternationalconferenceonautomateddeductionlakeplacidnyusajune9142013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge