Verfügbarkeit: Models of the lambda calculus | Technische Universität München

Models of the lambda calculus: met een samenvatting in het Nederlands

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Koymans, Christiaan Peter Jozef (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica 1984
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts 9
Schlagwörter:	Lambda-Algebra Homologie Datenverarbeitung Lambda-Kalkül Hochschulschrift
Beschreibung:	Zugl.: Utrecht, Univ., Diss.
Umfang:	III, 181 S.
ISBN:	9061962757

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV006406865
003	DE-604
005	20090429
007	t\|
008	930210s1984 xx m\|\|\| 00\|\|\| eng d
020			\|a 9061962757 \|9 90-6196-275-7
035			\|a (OCoLC)631898393
035			\|a (DE-599)BVBBV006406865
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-19
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Koymans, Christiaan Peter Jozef \|e Verfasser \|4 aut
245	1	0	\|a Models of the lambda calculus \|b met een samenvatting in het Nederlands \|c C. P. J. Koymans
264		1	\|a Amsterdam \|b Centrum voor Wiskunde en Informatica \|c 1984
300			\|a III, 181 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts \|v 9
500			\|a Zugl.: Utrecht, Univ., Diss.
650	0	7	\|a Lambda-Algebra \|0 (DE-588)4469659-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Homologie \|0 (DE-588)4141951-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Lambda-Kalkül \|0 (DE-588)4166495-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Lambda-Kalkül \|0 (DE-588)4166495-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Lambda-Algebra \|0 (DE-588)4469659-0 \|D s
689	1	1	\|a Homologie \|0 (DE-588)4141951-0 \|D s
689	1	2	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	1		\|8 1\p \|5 DE-604
830		0	\|a Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts \|v 9 \|w (DE-604)BV001902011 \|9 9
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-004057267

Datensatz im Suchindex

_version_	1818948526612152320
any_adam_object
author	Koymans, Christiaan Peter Jozef
author_facet	Koymans, Christiaan Peter Jozef
author_role	aut
author_sort	Koymans, Christiaan Peter Jozef
author_variant	c p j k cpj cpjk
building	Verbundindex
bvnumber	BV006406865
classification_rvk	SK 130
ctrlnum	(OCoLC)631898393 (DE-599)BVBBV006406865
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01720nam a2200445 cb4500</leader><controlfield tag="001">BV006406865</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090429 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">930210s1984 xx m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9061962757</subfield><subfield code="9">90-6196-275-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631898393</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006406865</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-739</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Koymans, Christiaan Peter Jozef</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models of the lambda calculus</subfield><subfield code="b">met een samenvatting in het Nederlands</subfield><subfield code="c">C. P. J. Koymans</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Centrum voor Wiskunde en Informatica</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">III, 181 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">Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts</subfield><subfield code="v">9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Utrecht, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Algebra</subfield><subfield code="0">(DE-588)4469659-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Homologie</subfield><subfield code="0">(DE-588)4141951-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</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">Lambda-Algebra</subfield><subfield code="0">(DE-588)4469659-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Homologie</subfield><subfield code="0">(DE-588)4141951-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV001902011</subfield><subfield code="9">9</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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004057267</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV006406865
illustrated	Not Illustrated
indexdate	2024-12-20T08:48:12Z
institution	BVB
isbn	9061962757
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-004057267
oclc_num	631898393
open_access_boolean
owner	DE-739 DE-19 DE-BY-UBM
owner_facet	DE-739 DE-19 DE-BY-UBM
physical	III, 181 S.
publishDate	1984
publishDateSearch	1984
publishDateSort	1984
publisher	Centrum voor Wiskunde en Informatica
record_format	marc
series	Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts
series2	Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts
spelling	Koymans, Christiaan Peter Jozef Verfasser aut Models of the lambda calculus met een samenvatting in het Nederlands C. P. J. Koymans Amsterdam Centrum voor Wiskunde en Informatica 1984 III, 181 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts 9 Zugl.: Utrecht, Univ., Diss. Lambda-Algebra (DE-588)4469659-0 gnd rswk-swf Homologie (DE-588)4141951-0 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Lambda-Kalkül (DE-588)4166495-4 s DE-604 Lambda-Algebra (DE-588)4469659-0 s Homologie (DE-588)4141951-0 s Datenverarbeitung (DE-588)4011152-0 s 1\p DE-604 Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts 9 (DE-604)BV001902011 9 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Koymans, Christiaan Peter Jozef Models of the lambda calculus met een samenvatting in het Nederlands Centrum voor Wiskunde en Informatica <Amsterdam>: CWI tracts Lambda-Algebra (DE-588)4469659-0 gnd Homologie (DE-588)4141951-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd
subject_GND	(DE-588)4469659-0 (DE-588)4141951-0 (DE-588)4011152-0 (DE-588)4166495-4 (DE-588)4113937-9
title	Models of the lambda calculus met een samenvatting in het Nederlands
title_auth	Models of the lambda calculus met een samenvatting in het Nederlands
title_exact_search	Models of the lambda calculus met een samenvatting in het Nederlands
title_full	Models of the lambda calculus met een samenvatting in het Nederlands C. P. J. Koymans
title_fullStr	Models of the lambda calculus met een samenvatting in het Nederlands C. P. J. Koymans
title_full_unstemmed	Models of the lambda calculus met een samenvatting in het Nederlands C. P. J. Koymans
title_short	Models of the lambda calculus
title_sort	models of the lambda calculus met een samenvatting in het nederlands
title_sub	met een samenvatting in het Nederlands
topic	Lambda-Algebra (DE-588)4469659-0 gnd Homologie (DE-588)4141951-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd Lambda-Kalkül (DE-588)4166495-4 gnd
topic_facet	Lambda-Algebra Homologie Datenverarbeitung Lambda-Kalkül Hochschulschrift
volume_link	(DE-604)BV001902011
work_keys_str_mv	AT koymanschristiaanpeterjozef modelsofthelambdacalculusmeteensamenvattinginhetnederlands

Verfügbarkeit

MARC

Datensatz im Suchindex

‌