Verfügbarkeit: Interactive Theorem Proving

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer 2015
Ausgabe:	1st ed. 2015
Schriftenreihe:	Lecture Notes in Computer Science 9236
Schlagworte:	Computer science Software engineering Data protection Computer software Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering Systems and Data Security Algorithm Analysis and Problem Complexity Informatik Künstliche Intelligenz HOL Automatisches Beweisverfahren Konferenzschrift > 2015 > Nanjing
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XI, 469 p. 63 illus)
ISBN:	9783319221021 9783319221014
ISSN:	0302-9743
DOI:	10.1007/978-3-319-22102-1

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV042788327
003	DE-604
005	20150917
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	150901s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319221021 \|c Online \|9 978-3-319-22102-1
020			\|a 9783319221014 \|c Print \|9 978-3-319-22101-4
024	7		\|a 10.1007/978-3-319-22102-1 \|2 doi
035			\|a (OCoLC)920800931
035			\|a (DE-599)BVBBV042788327
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-706 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.131 \|2 23
084			\|a DAT 706f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Interactive Theorem Proving \|b 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings \|c edited by Christian Urban, Xingyuan Zhang
250			\|a 1st ed. 2015
264		1	\|a Cham \|b Springer \|c 2015
300			\|a 1 Online-Ressource (XI, 469 p. 63 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 9236 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Data protection
650		4	\|a Computer software
650		4	\|a Logic design
650		4	\|a Artificial intelligence
650		4	\|a Computer Science
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Logics and Meanings of Programs
650		4	\|a Software Engineering
650		4	\|a Systems and Data Security
650		4	\|a Algorithm Analysis and Problem Complexity
650		4	\|a Informatik
650		4	\|a Künstliche Intelligenz
650	0	7	\|a HOL \|0 (DE-588)4335765-9 \|2 gnd \|9 rswk-swf
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 2015 \|z Nanjing \|2 gnd-content
689	0	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0	1	\|a HOL \|0 (DE-588)4335765-9 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a HOL \|0 (DE-588)4335765-9 \|D s
689	1		\|5 DE-604
700	1		\|a Urban, Christian \|d 19XX- \|e Sonstige \|0 (DE-588)1076638287 \|4 oth
711	2		\|a ITP \|n 6. \|d 2015 \|c Nanjing \|j Sonstige \|0 (DE-588)1076135390 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9236 \|w (DE-604)BV014880109 \|9 9236
856	4	0	\|u https://doi.org/10.1007/978-3-319-22102-1 \|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=028218204&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=028218204&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
999			\|a oai:aleph.bib-bvb.de:BVB01-028218204
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804175020957630464
adam_text	INTERACTIVE THEOREM PROVING / : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS VERIFIED, PRACTICAL UPPER BOUNDS FOR STATE SPACE DIAMETERS FORMALIZATION OF ERROR-CORRECTING CODES: FROM HAMMING TO MODERN CODING THEORY ROSCOQ: ROBOTS POWERED BY CONSTRUCTIVE REALS ASYNCHRONOUS PROCESSING OF COQ DOCUMENTS: FROM THE KERNEL UP TO THE USER INTERFACE A CONCRETE MEMORY MODEL FOR COMPCERT VALIDATING DOMINATOR TREES FOR A FAST, VERIFIED DOMINANCE TEST REFINEMENT TO CERTIFY ABSTRACT INTERPRETATIONS, ILLUSTRATED ON LINEARIZATION FOR POLYHEDRA MECHANISATION OF AKS ALGORITHM MACHINE-CHECKED VERIFICATION OF THE CORRECTNESS AND AMORTIZED IMPROVED TOOL SUPPORT FOR MACHINE-CODE DECOMPILATION IN HOL4 A FORMALIZED HIERARCHY OF PROBABILISTIC SYSTEM TYPES LEARNING TO PARSE ON ALIGNED CORPORA A CONSISTENT FOUNDATION FOR ISABELLE/HOL FOUNDATIONAL PROPERTY-BASED TESTING A FIRST-ORDER FUNCTIONAL INTERMEDIATE LANGUAGE FOR VERIFIED COMPILERS AUTOSUBST: REASONING WITH DE BRUIJN TERMS AND PARALLEL SUBSTITUTIONS MODURES: A COQ LIBRARY FOR MODULAR REASONING ABOUT CONCURRENT HIGHER-ORDER IMPERATIVE PROGRAMMING LANGUAGES TRANSFINITE CONSTRUCTIONS IN CLASSICAL TYPE THEORY A MECHANIZED THEORY OF REGULAR TREES IN DEPENDENT TYPE THEORY DERIVING COMPARATORS AND SHOW-FUNCTIONS IN ISABELLE/HOL FORMALIZING KNOT THEORY IN ISABELLE/HOL PATTERN MATCHES IN HOL: A NEW REPRESENTATION AND IMPROVED CODE GENERATION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. INTERACTIVE THEOREM PROVING / : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING, ITP 2015, HELD IN NANJING, CHINA, IN AUGUST 2015. THE 27 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 54 SUBMISSIONS. THE TOPICS RANGE FROM THEORETICAL FOUNDATIONS TO IMPLEMENTATION ASPECTS AND APPLICATIONS IN PROGRAM VERIFICATION, SECURITY AND FORMALIZATION OF MATHEMATICS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1076638287
building	Verbundindex
bvnumber	BV042788327
classification_tum	DAT 706f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)920800931 (DE-599)BVBBV042788327
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-22102-1
edition	1st ed. 2015
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03266nmm a2200733zcb4500</leader><controlfield tag="001">BV042788327</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150917 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150901s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319221021</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22102-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319221014</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-22101-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22102-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920800931</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042788327</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interactive Theorem Proving</subfield><subfield code="b">6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings</subfield><subfield code="c">edited by Christian Urban, Xingyuan Zhang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 469 p. 63 illus)</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">9236</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data protection</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems and Data Security</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">2015</subfield><subfield code="z">Nanjing</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="1"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Urban, Christian</subfield><subfield code="d">19XX-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1076638287</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ITP</subfield><subfield code="n">6.</subfield><subfield code="d">2015</subfield><subfield code="c">Nanjing</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1076135390</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">9236</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9236</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22102-1</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=028218204&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=028218204&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028218204</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2015 Nanjing gnd-content
genre_facet	Konferenzschrift 2015 Nanjing
id	DE-604.BV042788327
illustrated	Not Illustrated
indexdate	2024-07-10T07:09:39Z
institution	BVB
institution_GND	(DE-588)1076135390
isbn	9783319221021 9783319221014
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028218204
oclc_num	920800931
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XI, 469 p. 63 illus)
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings edited by Christian Urban, Xingyuan Zhang 1st ed. 2015 Cham Springer 2015 1 Online-Ressource (XI, 469 p. 63 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9236 0302-9743 Computer science Software engineering Data protection Computer software Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering Systems and Data Security Algorithm Analysis and Problem Complexity Informatik Künstliche Intelligenz HOL (DE-588)4335765-9 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Nanjing gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s HOL (DE-588)4335765-9 s 1\p DE-604 DE-604 Urban, Christian 19XX- Sonstige (DE-588)1076638287 oth ITP 6. 2015 Nanjing Sonstige (DE-588)1076135390 oth Lecture Notes in Computer Science 9236 (DE-604)BV014880109 9236 https://doi.org/10.1007/978-3-319-22102-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218204&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=028218204&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings Lecture Notes in Computer Science Computer science Software engineering Data protection Computer software Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering Systems and Data Security Algorithm Analysis and Problem Complexity Informatik Künstliche Intelligenz HOL (DE-588)4335765-9 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4335765-9 (DE-588)4069034-9 (DE-588)1071861417
title	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
title_auth	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
title_exact_search	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
title_full	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings edited by Christian Urban, Xingyuan Zhang
title_fullStr	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings edited by Christian Urban, Xingyuan Zhang
title_full_unstemmed	Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings edited by Christian Urban, Xingyuan Zhang
title_short	Interactive Theorem Proving
title_sort	interactive theorem proving 6th international conference itp 2015 nanjing china august 24 27 2015 proceedings
title_sub	6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
topic	Computer science Software engineering Data protection Computer software Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering Systems and Data Security Algorithm Analysis and Problem Complexity Informatik Künstliche Intelligenz HOL (DE-588)4335765-9 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Computer science Software engineering Data protection Computer software Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Software Engineering Systems and Data Security Algorithm Analysis and Problem Complexity Informatik Künstliche Intelligenz HOL Automatisches Beweisverfahren Konferenzschrift 2015 Nanjing
url	https://doi.org/10.1007/978-3-319-22102-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218204&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=028218204&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT urbanchristian interactivetheoremproving6thinternationalconferenceitp2015nanjingchinaaugust24272015proceedings AT itpnanjing interactivetheoremproving6thinternationalconferenceitp2015nanjingchinaaugust24272015proceedings

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