Verfügbarkeit: Types for proofs and programs

Types for proofs and programs: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2006
Schriftenreihe:	Lecture notes in computer science 3839
Schlagworte:	Automatic theorem proving > Congresses Computer programming > Congresses Typsystem Reduktionssystem Programmierung Beweistheorie Typentheorie Konferenzschrift > 2003 > Turin Konferenzschrift > 2004 > Jouy-en-Josas
Beschreibung:	VIII, 273 S.
ISBN:	3540314288

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV021528586
003	DE-604
005	20060621
007	t
008	060327s2006 gw \|\|\|\| 10\|\|\| eng d
015			\|a 06,A10,0068 \|2 dnb
020			\|a 3540314288 \|9 3-540-31428-8
024	3		\|a 9783540314288
028	5	2	\|a 11617990
035			\|a (OCoLC)181528490
035			\|a (DE-599)BVBBV021528586
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-83 \|a DE-11 \|a DE-706
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 706f \|2 stub
084			\|a DAT 555f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 540f \|2 stub
084			\|a MAT 032f \|2 stub
245	1	0	\|a Types for proofs and programs \|b international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2006
300			\|a VIII, 273 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 3839
650		4	\|a Automatic theorem proving \|v Congresses
650		4	\|a Computer programming \|v Congresses
650	0	7	\|a Typsystem \|0 (DE-588)4625224-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typentheorie \|0 (DE-588)4121795-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2003 \|z Turin \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2004 \|z Jouy-en-Josas \|2 gnd-content
689	0	0	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Typsystem \|0 (DE-588)4625224-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	2	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	2		\|5 DE-604
689	3	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	3	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	3		\|5 DE-604
689	4	0	\|a Reduktionssystem \|0 (DE-588)4194895-6 \|D s
689	4	1	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	4		\|5 DE-604
700	1		\|a Filliâtre, Jean-Christophe \|e Sonstige \|4 oth
711	2		\|a TYPES \|n 4 \|d 2004 \|c Jouy-en-Josas \|j Sonstige \|0 (DE-588)6508992-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 3839 \|w (DE-604)BV000000607 \|9 3839
999			\|a oai:aleph.bib-bvb.de:BVB01-014744970

Datensatz im Suchindex

_version_	1804135273793060864
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV021528586
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 555f DAT 540f MAT 032f
ctrlnum	(OCoLC)181528490 (DE-599)BVBBV021528586
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02473nam a2200673 cb4500</leader><controlfield tag="001">BV021528586</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060621 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060327s2006 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A10,0068</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540314288</subfield><subfield code="9">3-540-31428-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540314288</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11617990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181528490</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021528586</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 555f</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 032f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Types for proofs and programs</subfield><subfield code="b">international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 273 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">3839</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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">2003</subfield><subfield code="z">Turin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Jouy-en-Josas</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</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">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Reduktionssystem</subfield><subfield code="0">(DE-588)4194895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Filliâtre, Jean-Christophe</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TYPES</subfield><subfield code="n">4</subfield><subfield code="d">2004</subfield><subfield code="c">Jouy-en-Josas</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6508992-3</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">3839</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3839</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014744970</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2003 Turin gnd-content (DE-588)1071861417 Konferenzschrift 2004 Jouy-en-Josas gnd-content
genre_facet	Konferenzschrift 2003 Turin Konferenzschrift 2004 Jouy-en-Josas
id	DE-604.BV021528586
illustrated	Not Illustrated
index_date	2024-07-02T14:24:38Z
indexdate	2024-07-09T20:37:53Z
institution	BVB
institution_GND	(DE-588)6508992-3
isbn	3540314288
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014744970
oclc_num	181528490
open_access_boolean
owner	DE-91G DE-BY-TUM DE-83 DE-11 DE-706
owner_facet	DE-91G DE-BY-TUM DE-83 DE-11 DE-706
physical	VIII, 273 S.
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.) Berlin [u.a.] Springer 2006 VIII, 273 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3839 Automatic theorem proving Congresses Computer programming Congresses Typsystem (DE-588)4625224-1 gnd rswk-swf Reduktionssystem (DE-588)4194895-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Turin gnd-content (DE-588)1071861417 Konferenzschrift 2004 Jouy-en-Josas gnd-content Typentheorie (DE-588)4121795-0 s DE-604 Typsystem (DE-588)4625224-1 s Beweistheorie (DE-588)4145177-6 s Programmierung (DE-588)4076370-5 s Reduktionssystem (DE-588)4194895-6 s Filliâtre, Jean-Christophe Sonstige oth TYPES 4 2004 Jouy-en-Josas Sonstige (DE-588)6508992-3 oth Lecture notes in computer science 3839 (DE-604)BV000000607 3839
spellingShingle	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.) Lecture notes in computer science Automatic theorem proving Congresses Computer programming Congresses Typsystem (DE-588)4625224-1 gnd Reduktionssystem (DE-588)4194895-6 gnd Programmierung (DE-588)4076370-5 gnd Beweistheorie (DE-588)4145177-6 gnd Typentheorie (DE-588)4121795-0 gnd
subject_GND	(DE-588)4625224-1 (DE-588)4194895-6 (DE-588)4076370-5 (DE-588)4145177-6 (DE-588)4121795-0 (DE-588)1071861417
title	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_auth	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_exact_search	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_exact_search_txtP	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_full	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_fullStr	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_full_unstemmed	Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
title_short	Types for proofs and programs
title_sort	types for proofs and programs international workshop types 2004 jouy en josas france december 15 18 2004 jean christophe filliatre eds
title_sub	international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (eds.)
topic	Automatic theorem proving Congresses Computer programming Congresses Typsystem (DE-588)4625224-1 gnd Reduktionssystem (DE-588)4194895-6 gnd Programmierung (DE-588)4076370-5 gnd Beweistheorie (DE-588)4145177-6 gnd Typentheorie (DE-588)4121795-0 gnd
topic_facet	Automatic theorem proving Congresses Computer programming Congresses Typsystem Reduktionssystem Programmierung Beweistheorie Typentheorie Konferenzschrift 2003 Turin Konferenzschrift 2004 Jouy-en-Josas
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT filliatrejeanchristophe typesforproofsandprogramsinternationalworkshoptypes2004jouyenjosasfrancedecember15182004jeanchristophefilliatreeds AT typesjouyenjosas typesforproofsandprogramsinternationalworkshoptypes2004jouyenjosasfrancedecember15182004jeanchristophefilliatreeds

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge