Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Gramlich, Bernhard (VerfasserIn), Miller, Dale (Sonstige), Sattler, Uli (Sonstige)
Titel:	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings/ edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7364
Schlagwörter:	Logic design Electronic data processing Computer science Software engineering Artificial intelligence Computer Science Machine theory. Numerical analysis. Konferenzschrift > 2012 > Manchester
Buchausg. u.d.T.:	Automated reasoning, Berlin : Springer, 2012, XIV, 568 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz


LEADER	06745cam a22014772 4500
001	0-165154042X
003	DE-627
005	20240122105055.0
007	cr uuu---uuuuu
008	120704s2012 gw \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783642313653 \|9 978-3-642-31365-3
024	7		\|a 10.1007/978-3-642-31365-3 \|2 doi
035			\|a (DE-627)165154042X
035			\|a (DE-576)36768778X
035			\|a (DE-599)BSZ36768778X
035			\|a (OCoLC)840010874
035			\|a (OCoLC)802451423
035			\|a (ZBM)1245.68010
035			\|a (ZBM)1245.68010
035			\|a (DE-He213)978-3-642-31365-3
035			\|a (EBP)040543005
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XA-DE \|c XA-DE-BE
050		0	\|a QA8.9-QA10.3
072		7	\|a COM051010 \|2 bisacsh
072		7	\|a UYA \|2 bicssc
072		7	\|a MAT018000 \|2 bisacsh
084			\|a SS 4800 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143528:
084			\|a *68-06 \|2 msc
084			\|a 68T15 \|2 msc
084			\|a 00B25 \|2 msc
084			\|a 54.71 \|2 bkl
100	1		\|a Gramlich, Bernhard \|0 (DE-588)136012396 \|0 (DE-627)693990171 \|0 (DE-576)189274867 \|4 aut
245	1	0	\|a Automated Reasoning \|b 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings \|c edited by Bernhard Gramlich, Dale Miller, Uli Sattler
264		1	\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2012
300			\|a Online-Ressource (XIV, 568p. 90 illus, digital)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7364
490	0		\|a SpringerLink \|a Bücher
500			\|a Literaturangaben
520			\|a This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
650		0	\|a Logic design
650		0	\|a Electronic data processing
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Logic design
650		0	\|a Electronic data processing
650		0	\|a Artificial intelligence
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Artificial intelligence
650		0	\|a Computer Science
650		0	\|a Machine theory.
650		0	\|a Numerical analysis.
655		7	\|a Konferenzschrift \|y 2012 \|z Manchester \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
689	0	0	\|D s \|0 (DE-588)4069034-9 \|0 (DE-627)106104462 \|0 (DE-576)209175370 \|a Automatisches Beweisverfahren \|2 gnd
689	0		\|5 DE-101
689	1	0	\|D s \|0 (DE-588)4047408-2 \|0 (DE-627)106194690 \|0 (DE-576)209073462 \|a Programmierlogik \|2 gnd
689	1		\|5 DE-101
689	2	0	\|D s \|0 (DE-588)4145177-6 \|0 (DE-627)105592897 \|0 (DE-576)209739452 \|a Beweistheorie \|2 gnd
689	2	1	\|D s \|0 (DE-588)4036202-4 \|0 (DE-627)106243772 \|0 (DE-576)209017082 \|a Logik \|2 gnd
689	2		\|5 DE-101
700	1		\|a Miller, Dale \|0 (DE-627)1236397444 \|0 (DE-576)16639744X \|4 oth
700	1		\|a Sattler, Uli \|4 oth
776	1		\|z 9783642313646
776	0	8	\|i Buchausg. u.d.T. \|t Automated reasoning \|d Berlin : Springer, 2012 \|h XIV, 568 S. \|w (DE-627)717614778 \|w (DE-576)368493881 \|z 3642313647 \|z 9783642313646
830		0	\|a Lecture notes in computer science \|v 7364 \|9 7364 \|w (DE-627)316228877 \|w (DE-576)093890923 \|w (DE-600)2018930-8 \|x 1611-3349 \|7 ns
856	4	0	\|u https://doi.org/10.1007/978-3-642-31365-3 \|m X:SPRINGER \|x Verlag \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	2	\|u https://swbplus.bsz-bw.de/bsz36768778xcov.jpg \|m V:DE-576 \|m X:springer \|q image/jpeg \|v 20140131132529 \|3 Cover
856	4	2	\|u https://zbmath.org/?q=an:1245.68010 \|m B:ZBM \|v 2021-04-12 \|x Verlag \|y Zentralblatt MATH \|3 Inhaltstext
889			\|w (DE-627)718777719
912			\|a ZDB-2-LNC \|b 2012
912			\|a ZDB-2-SCS \|b 2012
912			\|a ZDB-2-SEB
912			\|a ZDB-2-SXCS \|b 2012
912			\|a ZDB-2-SEB \|b 2012
935			\|h GBV \|i ExPruef
936	r	v	\|a SS 4800 \|b Lecture notes in computer science \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Schriftenreihen (indiv. Sign.) \|k Lecture notes in computer science \|0 (DE-627)1271461242 \|0 (DE-625)rvk/143528: \|0 (DE-576)201461242
936	b	k	\|a 54.71 \|j Logikprogrammierung \|q SEPA \|0 (DE-627)106418912
951			\|a BO
900			\|a Miller, Dale A.
900			\|a Gramlich, B.
950			\|a Теория доказательств
950			\|a Beweis
950			\|a Automatisierung
950			\|a Maschinelles Beweisverfahren
950			\|a Mechanisches Beweisverfahren
950			\|a Theorembeweisen
950			\|a Automatisches Theorembeweisen
950			\|a Automated theorem proving
950			\|a Automatic theorem proving
950			\|a Automatisches Beweisen
950			\|a Theorem
950			\|a Beweissystem
950			\|a Автоматическое доказательство
950			\|a Programmierung
950			\|a Logik
950			\|a Programmierungslogik
950			\|a Philosophische Logik
950			\|a Handlungslogik
950			\|a Äquivalenz
950			\|a Formale Semantik
950			\|a Logiker
950			\|a 推理
950			\|a 推论
950			\|a 逻辑
950			\|a 推論
950			\|a 邏輯
950			\|a Логика
951			\|b XA-AT
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|9 DE-14
852			\|a DE-14 \|x epn:3350027652 \|z 2012-07-04T16:23:40Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|9 DE-15
852			\|a DE-15 \|x epn:3350027687 \|z 2012-07-04T16:23:40Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|9 DE-Ch1
852			\|a DE-Ch1 \|x epn:3350027725 \|z 2012-07-04T16:23:40Z
976			\|h Elektronischer Volltext - Campuslizenz
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|z Zum Online-Dokument \|9 DE-Zi4
852			\|a DE-Zi4 \|x epn:3350027776 \|z 2012-07-04T16:23:40Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31365-3 \|9 DE-520
852			\|a DE-520 \|x epn:3350027830 \|z 2012-07-04T16:23:40Z
980			\|a 165154042X \|b 0 \|k 165154042X \|o 36768778X

openURL	url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Automated+Reasoning%3A+6th+International+Joint+Conference%2C+IJCAR+2012%2C+Manchester%2C+UK%2C+June+26-29%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Automated+Reasoning%3A+6th+International+Joint+Conference%2C+IJCAR+2012%2C+Manchester%2C+UK%2C+June+26-29%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7364&rft.au=Gramlich%2C+Bernhard&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642313655

openURL

url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Automated+Reasoning%3A+6th+International+Joint+Conference%2C+IJCAR+2012%2C+Manchester%2C+UK%2C+June+26-29%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Automated+Reasoning%3A+6th+International+Joint+Conference%2C+IJCAR+2012%2C+Manchester%2C+UK%2C+June+26-29%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7364&rft.au=Gramlich%2C+Bernhard&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642313655

SOLR
_version_	1792253792549339136
access_facet	Electronic Resources
author	Gramlich, Bernhard
author2	Miller, Dale, Sattler, Uli
author2_role	oth, oth
author2_variant	d m dm, u s us
author_facet	Gramlich, Bernhard, Miller, Dale, Sattler, Uli
author_role	aut
author_sort	Gramlich, Bernhard
author_variant	b g bg
callnumber-first	Q - Science
callnumber-label	QA8
callnumber-raw	QA8.9-QA10.3
callnumber-search	QA8.9-QA10.3
callnumber-sort	QA 18.9 Q A10 13
callnumber-subject	QA - Mathematics
collection	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents	This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
ctrlnum	(DE-627)165154042X, (DE-576)36768778X, (DE-599)BSZ36768778X, (OCoLC)840010874, (OCoLC)802451423, (ZBM)1245.68010, (DE-He213)978-3-642-31365-3, (EBP)040543005
de15_date	2012-07-04T16:23:40Z
dech1_date	2012-07-04T16:23:40Z
doi_str_mv	10.1007/978-3-642-31365-3
era_facet	2012
facet_912a	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail	Online
facet_local_del330	Automatisches Beweisverfahren, Programmierlogik, Beweistheorie, Logik
finc_class_facet	Informatik, Mathematik
fincclass_txtF_mv	science-computerscience
footnote	Literaturangaben
format	eBook, ConferenceProceedings
format_access_txtF_mv	Book, E-Book
format_de105	Ebook
format_de14	Book, E-Book
format_de15	Book, E-Book
format_del152	Buch
format_detail_txtF_mv	text-online-monograph-independent-conference
format_dezi4	e-Book
format_finc	Book, E-Book
format_legacy	ElectronicBook
format_legacy_nrw	Book, E-Book
format_nrw	Book, E-Book
format_strict_txtF_mv	E-Book
genre	Konferenzschrift 2012 Manchester (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet	Konferenzschrift
geogr_code	not assigned
geogr_code_person	Austria
geographic_facet	Manchester
hierarchy_parent_id	0-316228877
hierarchy_parent_title	Lecture notes in computer science
hierarchy_sequence	7364
hierarchy_top_id	0-316228877
hierarchy_top_title	Lecture notes in computer science
id	0-165154042X
illustrated	Not Illustrated
imprint	Berlin, Heidelberg, Springer Berlin Heidelberg, 2012
imprint_str_mv	Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
institution	DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id	0-165154042X
is_hierarchy_title	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
isbn	9783642313653
isbn_isn_mv	9783642313646, 3642313647
issn_isn_mv	1611-3349
kxp_id_str	165154042X
language	English
last_indexed	2024-02-29T17:06:48.005Z
local_heading_facet_dezwi2	Logic design, Electronic data processing, Computer science, Software engineering, Artificial intelligence, Computer Science, Machine theory., Numerical analysis., Automatisches Beweisverfahren, Programmierlogik, Beweistheorie, Logik
marc024a_ct_mv	10.1007/978-3-642-31365-3
match_str	gramlich2012automatedreasoning6thinternationaljointconferenceijcar2012manchesterukjune26292012proceedings
mega_collection	Verbunddaten SWB
multipart_link	093890923
multipart_part	(093890923)7364
names_id_str_mv	(DE-588)136012396, (DE-627)693990171, (DE-576)189274867, (DE-627)1236397444, (DE-576)16639744X
oclc_num	840010874, 802451423
physical	Online-Ressource (XIV, 568p. 90 illus, digital)
publishDate	2012
publishDateSort	2012
publishPlace	Berlin, Heidelberg
publisher	Springer Berlin Heidelberg
record_format	marcfinc
record_id	36768778X
recordtype	marcfinc
rsn_id_str_mv	(DE-15)3140180
rvk_facet	SS 4800
rvk_label	Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series	Lecture notes in computer science, 7364
series2	Lecture Notes in Computer Science ; 7364, SpringerLink ; Bücher
source_id	0
spelling	Gramlich, Bernhard (DE-588)136012396 (DE-627)693990171 (DE-576)189274867 aut, Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings edited by Bernhard Gramlich, Dale Miller, Uli Sattler, Berlin, Heidelberg Springer Berlin Heidelberg 2012, Online-Ressource (XIV, 568p. 90 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7364, SpringerLink Bücher, Literaturangaben, This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications., Logic design, Electronic data processing, Computer science, Software engineering, Artificial intelligence, Computer Science, Machine theory., Numerical analysis., Konferenzschrift 2012 Manchester (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4069034-9 (DE-627)106104462 (DE-576)209175370 Automatisches Beweisverfahren gnd, DE-101, s (DE-588)4047408-2 (DE-627)106194690 (DE-576)209073462 Programmierlogik gnd, s (DE-588)4145177-6 (DE-627)105592897 (DE-576)209739452 Beweistheorie gnd, s (DE-588)4036202-4 (DE-627)106243772 (DE-576)209017082 Logik gnd, Miller, Dale (DE-627)1236397444 (DE-576)16639744X oth, Sattler, Uli oth, 9783642313646, Buchausg. u.d.T. Automated reasoning Berlin : Springer, 2012 XIV, 568 S. (DE-627)717614778 (DE-576)368493881 3642313647 9783642313646, Lecture notes in computer science 7364 7364 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-31365-3 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-31365-3 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz36768778xcov.jpg V:DE-576 X:springer image/jpeg 20140131132529 Cover, https://zbmath.org/?q=an:1245.68010 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)718777719, http://dx.doi.org/10.1007/978-3-642-31365-3 DE-14, DE-14 epn:3350027652 2012-07-04T16:23:40Z, http://dx.doi.org/10.1007/978-3-642-31365-3 DE-15, DE-15 epn:3350027687 2012-07-04T16:23:40Z, http://dx.doi.org/10.1007/978-3-642-31365-3 DE-Ch1, DE-Ch1 epn:3350027725 2012-07-04T16:23:40Z, http://dx.doi.org/10.1007/978-3-642-31365-3 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3350027776 2012-07-04T16:23:40Z, http://dx.doi.org/10.1007/978-3-642-31365-3 DE-520, DE-520 epn:3350027830 2012-07-04T16:23:40Z
spellingShingle	Gramlich, Bernhard, Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, Lecture notes in computer science, 7364, This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications., Logic design, Electronic data processing, Computer science, Software engineering, Artificial intelligence, Computer Science, Machine theory., Numerical analysis., Konferenzschrift 2012 Manchester, Automatisches Beweisverfahren, Programmierlogik, Beweistheorie, Logik
swb_id_str	36768778X
title	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
title_auth	Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
title_full	Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings edited by Bernhard Gramlich, Dale Miller, Uli Sattler
title_fullStr	Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings edited by Bernhard Gramlich, Dale Miller, Uli Sattler
title_full_unstemmed	Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings edited by Bernhard Gramlich, Dale Miller, Uli Sattler
title_in_hierarchy	7364. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings (2012)
title_short	Automated Reasoning
title_sort	automated reasoning 6th international joint conference ijcar 2012 manchester uk june 26 29 2012 proceedings
title_sub	6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
title_unstemmed	Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
topic	Logic design, Electronic data processing, Computer science, Software engineering, Artificial intelligence, Computer Science, Machine theory., Numerical analysis., Konferenzschrift 2012 Manchester, Automatisches Beweisverfahren, Programmierlogik, Beweistheorie, Logik
topic_facet	Logic design, Electronic data processing, Computer science, Software engineering, Artificial intelligence, Computer Science, Machine theory., Numerical analysis., Konferenzschrift, Automatisches Beweisverfahren, Programmierlogik, Beweistheorie, Logik
url	https://doi.org/10.1007/978-3-642-31365-3, http://dx.doi.org/10.1007/978-3-642-31365-3, https://swbplus.bsz-bw.de/bsz36768778xcov.jpg, https://zbmath.org/?q=an:1245.68010