Holdings: Theorem proving in higher order logics

Theorem proving in higher order logics: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Series:	Lecture notes in computer science 1869
Subjects:	Automatisches Beweisverfahren HOL Konferenzschrift > 2000 > Portland Or.
Online Access:	DE-91 DE-384 DE-19 DE-739 Volltext
Item Description:	Literaturangaben
Physical Description:	1 Online-Ressource (IX, 533 S.)
ISBN:	3540678638 9783540678632
DOI:	10.1007/3-540-44659-1

Staff View

MARC


LEADER	00000nam a22000008cb4500
001	BV035099917
003	DE-604
007	cr\|uuu---uuuuu
008	081015s2000 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540678638 \|9 3-540-67863-8
020			\|a 9783540678632 \|9 978-3-540-67863-2
024	7		\|a 10.1007/3-540-44659-1 \|2 doi
035			\|a (OCoLC)76163541
035			\|a (DE-599)BVBBV035099917
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 005f \|2 stub
084			\|a DAT 706f \|2 stub
245	1	0	\|a Theorem proving in higher order logics \|b 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings \|c Mark Aagaard ; John Harrison (ed.)
246	1	3	\|a TPHOLs 2000
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2000
300			\|a 1 Online-Ressource (IX, 533 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 1869
500			\|a Literaturangaben
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 2000 \|z Portland Or. \|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 Aagaard, Mark \|d 1966- \|e Sonstige \|0 (DE-588)12218839X \|4 oth
711	2		\|a TPHOLs \|n 13 \|d 2000 \|c Portland, Or. \|j Sonstige \|0 (DE-588)10005672-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1869 \|w (DE-604)BV014880109 \|9 1869
856	4	0	\|u https://doi.org/10.1007/3-540-44659-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016767908
966	e		\|u https://doi.org/10.1007/3-540-44659-1 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44659-1 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44659-1 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44659-1 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875078744670208
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)12218839X
building	Verbundindex
bvnumber	BV035099917
classification_rvk	SS 4800
classification_tum	DAT 005f DAT 706f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)76163541 (DE-599)BVBBV035099917
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-44659-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV035099917</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081015s2000 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540678638</subfield><subfield code="9">3-540-67863-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540678632</subfield><subfield code="9">978-3-540-67863-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-44659-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76163541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035099917</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorem proving in higher order logics</subfield><subfield code="b">13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings</subfield><subfield code="c">Mark Aagaard ; John Harrison (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">TPHOLs 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 533 S.)</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">1869</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2000</subfield><subfield code="z">Portland Or.</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">Aagaard, Mark</subfield><subfield code="d">1966-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12218839X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TPHOLs</subfield><subfield code="n">13</subfield><subfield code="d">2000</subfield><subfield code="c">Portland, Or.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10005672-6</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">1869</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1869</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-44659-1</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016767908</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44659-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44659-1</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44659-1</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44659-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2000 Portland Or. gnd-content
genre_facet	Konferenzschrift 2000 Portland Or.
id	DE-604.BV035099917
illustrated	Not Illustrated
index_date	2024-07-02T22:13:52Z
indexdate	2025-01-10T15:09:55Z
institution	BVB
institution_GND	(DE-588)10005672-6
isbn	3540678638 9783540678632
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016767908
oclc_num	76163541
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (IX, 533 S.)
psigel	ZDB-2-LNC
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings Mark Aagaard ; John Harrison (ed.) TPHOLs 2000 Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 1 Online-Ressource (IX, 533 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1869 Literaturangaben Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf HOL (DE-588)4335765-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Portland Or. gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 HOL (DE-588)4335765-9 s Aagaard, Mark 1966- Sonstige (DE-588)12218839X oth TPHOLs 13 2000 Portland, Or. Sonstige (DE-588)10005672-6 oth Lecture notes in computer science 1869 (DE-604)BV014880109 1869 https://doi.org/10.1007/3-540-44659-1 Verlag Volltext
spellingShingle	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; 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	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings
title_alt	TPHOLs 2000
title_auth	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings
title_exact_search	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings
title_exact_search_txtP	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings
title_full	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings Mark Aagaard ; John Harrison (ed.)
title_fullStr	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings Mark Aagaard ; John Harrison (ed.)
title_full_unstemmed	Theorem proving in higher order logics 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings Mark Aagaard ; John Harrison (ed.)
title_short	Theorem proving in higher order logics
title_sort	theorem proving in higher order logics 13th international conference tphols 2000 portland or usa august 14 18 2000 proceedings
title_sub	13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings
topic	Automatisches Beweisverfahren (DE-588)4069034-9 gnd HOL (DE-588)4335765-9 gnd
topic_facet	Automatisches Beweisverfahren HOL Konferenzschrift 2000 Portland Or.
url	https://doi.org/10.1007/3-540-44659-1
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT aagaardmark theoremprovinginhigherorderlogics13thinternationalconferencetphols2000portlandorusaaugust14182000proceedings AT tpholsportlandor theoremprovinginhigherorderlogics13thinternationalconferencetphols2000portlandorusaaugust14182000proceedings AT aagaardmark tphols2000 AT tpholsportlandor tphols2000

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items