Interactive theorem proving first international conference ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Kaufmann, Matt (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York, NY Springer 2010
Schriftenreihe:Lecture notes in computer science 6172
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV036594240
003 DE-604
005 20100827
007 cr|uuu---uuuuu
008 100730s2010 xx d||| o|||| 10||| eng d
020 |a 9783642140518  |c kart. : EUR 74.90 (freier Pr.), sfr 109.00 (freier Pr.)  |9 978-3-642-14051-8 
020 |a 9783642140525  |c Online  |9 978-3-642-14052-5 
024 7 |a 10.1007/978-3-642-14052-5  |2 doi 
035 |a (OCoLC)660151287 
035 |a (DE-599)BVBBV036594240 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
049 |a DE-473  |a DE-19  |a DE-91  |a DE-739  |a DE-384  |a DE-M347  |a DE-20  |a DE-703  |a DE-706  |a DE-634  |a DE-355 
082 0 |a 004.015113  |2 22//ger 
084 |a DAT 706f  |2 stub 
084 |a DAT 000  |2 stub 
245 1 0 |a Interactive theorem proving  |b first international conference ; proceedings  |c ITP 2010 Edinburgh, UK, July 11 - 14, 2010, [Federated Logic Conference, FLoC 2010, Edinburgh 9 - 21 July 2010]. Matt Kaufmann ... (ed.) 
264 1 |a Berlin ; Heidelberg ; New York, NY  |b Springer  |c 2010 
300 |a 1 Online-Ressource (XI, 493 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 6172 
650 0 7 |a Automatisches Beweisverfahren  |0 (DE-588)4069034-9  |2 gnd  |9 rswk-swf 
650 0 7 |a HOL  |0 (DE-588)4335765-9  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 2010  |z Edinburgh  |2 gnd-content 
689 0 0 |a Automatisches Beweisverfahren  |0 (DE-588)4069034-9  |D s 
689 0 |5 DE-604 
689 1 0 |a HOL  |0 (DE-588)4335765-9  |D s 
689 1 |5 DE-604 
700 1 |a Kaufmann, Matt  |4 edt 
711 2 |a ITP  |n 1  |d 2010  |c Edinburgh  |j Sonstige  |0 (DE-588)16073216-5  |4 oth 
711 2 |a Federated Logic Conference  |d 2010  |c Edinburgh  |j Sonstige  |0 (DE-588)16073218-9  |4 oth 
830 0 |a Lecture notes in computer science  |v 6172  |w (DE-604)BV014880109  |9 6172 
856 4 0 |u https://doi.org/10.1007/978-3-642-14052-5  |x Verlag  |3 Volltext 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SCS 
940 1 |q UBR Paketkauf 2024 
940 1 |q ZDB-2-SCS_2010 
943 1 |a oai:aleph.bib-bvb.de:BVB01-020514882 

Datensatz im Suchindex

DE-BY-TUM_katkey 1737451
DE-BY-UBM_katkey 4338699
_version_ 1823054610774884352
adam_text
any_adam_object
author2 Kaufmann, Matt
author2_role edt
author2_variant m k mk
author_facet Kaufmann, Matt
building Verbundindex
bvnumber BV036594240
classification_rvk SS 4800
classification_tum DAT 706f
DAT 000
collection ZDB-2-LNC
ZDB-2-SCS
ctrlnum (OCoLC)660151287
(DE-599)BVBBV036594240
dewey-full 004.015113
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 004 - Computer science
dewey-raw 004.015113
dewey-search 004.015113
dewey-sort 14.015113
dewey-tens 000 - Computer science, information, general works
discipline Informatik
doi_str_mv 10.1007/978-3-642-14052-5
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">BV036594240</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100827</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100730s2010 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642140518</subfield><subfield code="c">kart. : EUR 74.90 (freier Pr.), sfr 109.00 (freier Pr.)</subfield><subfield code="9">978-3-642-14051-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642140525</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-14052-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-14052-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)660151287</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036594240</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22//ger</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">first international conference ; proceedings</subfield><subfield code="c">ITP 2010 Edinburgh, UK, July 11 - 14, 2010, [Federated Logic Conference, FLoC 2010, Edinburgh 9 - 21 July 2010]. Matt Kaufmann ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 493 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">6172</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Edinburgh</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="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">Kaufmann, Matt</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ITP</subfield><subfield code="n">1</subfield><subfield code="d">2010</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073216-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Federated Logic Conference</subfield><subfield code="d">2010</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16073218-9</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">6172</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6172</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-14052-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2010</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020514882</subfield></datafield></record></collection>
genre (DE-588)1071861417 Konferenzschrift 2010 Edinburgh gnd-content
genre_facet Konferenzschrift 2010 Edinburgh
id DE-604.BV036594240
illustrated Illustrated
indexdate 2025-02-03T17:28:01Z
institution BVB
institution_GND (DE-588)16073216-5
(DE-588)16073218-9
isbn 9783642140518
9783642140525
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-020514882
oclc_num 660151287
open_access_boolean
owner DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-91
DE-BY-TUM
DE-739
DE-384
DE-M347
DE-20
DE-703
DE-706
DE-634
DE-355
DE-BY-UBR
owner_facet DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-91
DE-BY-TUM
DE-739
DE-384
DE-M347
DE-20
DE-703
DE-706
DE-634
DE-355
DE-BY-UBR
physical 1 Online-Ressource (XI, 493 S.) graph. Darst.
psigel ZDB-2-LNC
ZDB-2-SCS
UBR Paketkauf 2024
ZDB-2-SCS_2010
publishDate 2010
publishDateSearch 2010
publishDateSort 2010
publisher Springer
record_format marc
series Lecture notes in computer science
series2 Lecture notes in computer science
spellingShingle Interactive theorem proving first international conference ; proceedings
Lecture notes in computer science
Automatisches Beweisverfahren (DE-588)4069034-9 gnd
HOL (DE-588)4335765-9 gnd
subject_GND (DE-588)4069034-9
(DE-588)4335765-9
(DE-588)1071861417
title Interactive theorem proving first international conference ; proceedings
title_auth Interactive theorem proving first international conference ; proceedings
title_exact_search Interactive theorem proving first international conference ; proceedings
title_full Interactive theorem proving first international conference ; proceedings ITP 2010 Edinburgh, UK, July 11 - 14, 2010, [Federated Logic Conference, FLoC 2010, Edinburgh 9 - 21 July 2010]. Matt Kaufmann ... (ed.)
title_fullStr Interactive theorem proving first international conference ; proceedings ITP 2010 Edinburgh, UK, July 11 - 14, 2010, [Federated Logic Conference, FLoC 2010, Edinburgh 9 - 21 July 2010]. Matt Kaufmann ... (ed.)
title_full_unstemmed Interactive theorem proving first international conference ; proceedings ITP 2010 Edinburgh, UK, July 11 - 14, 2010, [Federated Logic Conference, FLoC 2010, Edinburgh 9 - 21 July 2010]. Matt Kaufmann ... (ed.)
title_short Interactive theorem proving
title_sort interactive theorem proving first international conference proceedings
title_sub first international conference ; proceedings
topic Automatisches Beweisverfahren (DE-588)4069034-9 gnd
HOL (DE-588)4335765-9 gnd
topic_facet Automatisches Beweisverfahren
HOL
Konferenzschrift 2010 Edinburgh
url https://doi.org/10.1007/978-3-642-14052-5
volume_link (DE-604)BV014880109
work_keys_str_mv AT kaufmannmatt interactivetheoremprovingfirstinternationalconferenceproceedings
AT itpedinburgh interactivetheoremprovingfirstinternationalconferenceproceedings
AT federatedlogicconferenceedinburgh interactivetheoremprovingfirstinternationalconferenceproceedings