Verfügbarkeit: The implementation of functional logic programming languages

The implementation of functional logic programming languages:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Lock, Hendrik C. R. (VerfasserIn)
Format:	Hochschulschrift/Dissertation Buch
Sprache:	Englisch
Veröffentlicht:	München u.a. Oldenbourg 1993
Schriftenreihe:	Berichte der Gesellschaft für Mathematik und Datenverarbeitung 208
Schlagwörter:	Declarative programming Programming languages (Electronic computers) Implementierung > Informatik Funktionale Programmiersprache Übersetzerbau Funktional-logische Programmiersprache Programmiersprache Logische Programmierung Implementation Funktionale Programmierung Hochschulschrift
Umfang:	302 S.
ISBN:	3486226274

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV007222745
003	DE-604
005	19931013
007	t\|
008	930426s1993 gw m\|\|\| 00\|\|\| eng d
020			\|a 3486226274 \|9 3-486-22627-4
035			\|a (OCoLC)31350093
035			\|a (DE-599)BVBBV007222745
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-739 \|a DE-91G \|a DE-12 \|a DE-19 \|a DE-521 \|a DE-11 \|a DE-525
050		0	\|a QA76.7
084			\|a SI 210 \|0 (DE-625)143104: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 706d \|2 stub
084			\|a DAT 544d \|2 stub
100	1		\|a Lock, Hendrik C. R. \|e Verfasser \|4 aut
245	1	0	\|a The implementation of functional logic programming languages \|c Hendrik C. R. Lock
264		1	\|a München u.a. \|b Oldenbourg \|c 1993
300			\|a 302 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Berichte der Gesellschaft für Mathematik und Datenverarbeitung \|v 208
502			\|a Zugl.: Berlin, Tech. Univ., Diss., 1992
650		4	\|a Declarative programming
650		4	\|a Programming languages (Electronic computers)
650	0	7	\|a Implementierung \|g Informatik \|0 (DE-588)4026663-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Übersetzerbau \|0 (DE-588)4121803-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktional-logische Programmiersprache \|0 (DE-588)4323938-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Implementation \|0 (DE-588)4026661-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|D s
689	0	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Funktionale Programmiersprache \|0 (DE-588)4129948-6 \|D s
689	1	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	1	2	\|a Implementierung \|g Informatik \|0 (DE-588)4026663-1 \|D s
689	1		\|5 DE-604
689	2	0	\|a Funktional-logische Programmiersprache \|0 (DE-588)4323938-9 \|D s
689	2	1	\|a Übersetzerbau \|0 (DE-588)4121803-6 \|D s
689	2	2	\|a Implementierung \|g Informatik \|0 (DE-588)4026663-1 \|D s
689	2		\|5 DE-604
689	3	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	3		\|8 1\p \|5 DE-604
689	4	0	\|a Implementation \|0 (DE-588)4026661-8 \|D s
689	4		\|8 2\p \|5 DE-604
830		0	\|a Berichte der Gesellschaft für Mathematik und Datenverarbeitung \|v 208 \|w (DE-604)BV000001499 \|9 208
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\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-004627850

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 001z 2001 A 951-208
DE-BY-TUM_katkey	587891
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040020190361
_version_	1821938586083131392
any_adam_object
author	Lock, Hendrik C. R.
author_facet	Lock, Hendrik C. R.
author_role	aut
author_sort	Lock, Hendrik C. R.
author_variant	h c r l hcr hcrl
building	Verbundindex
bvnumber	BV007222745
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.7
callnumber-search	QA76.7
callnumber-sort	QA 276.7
callnumber-subject	QA - Mathematics
classification_rvk	SI 210 ST 230
classification_tum	DAT 706d DAT 544d
ctrlnum	(OCoLC)31350093 (DE-599)BVBBV007222745
discipline	Informatik Mathematik
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02912nam a2200697 cb4500</leader><controlfield tag="001">BV007222745</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931013 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">930426s1993 gw m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486226274</subfield><subfield code="9">3-486-22627-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31350093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007222745</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 210</subfield><subfield code="0">(DE-625)143104:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lock, Hendrik C. R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The implementation of functional logic programming languages</subfield><subfield code="c">Hendrik C. R. Lock</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München u.a.</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">302 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">Berichte der Gesellschaft für Mathematik und Datenverarbeitung</subfield><subfield code="v">208</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Berlin, Tech. Univ., Diss., 1992</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Declarative programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktional-logische Programmiersprache</subfield><subfield code="0">(DE-588)4323938-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementation</subfield><subfield code="0">(DE-588)4026661-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-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">Funktional-logische Programmiersprache</subfield><subfield code="0">(DE-588)4323938-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Implementation</subfield><subfield code="0">(DE-588)4026661-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Berichte der Gesellschaft für Mathematik und Datenverarbeitung</subfield><subfield code="v">208</subfield><subfield code="w">(DE-604)BV000001499</subfield><subfield code="9">208</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="883" ind1="1" ind2=" "><subfield code="8">2\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-004627850</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV007222745
illustrated	Not Illustrated
indexdate	2024-12-20T09:00:20Z
institution	BVB
isbn	3486226274
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-004627850
oclc_num	31350093
open_access_boolean
owner	DE-739 DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-521 DE-11 DE-525
owner_facet	DE-739 DE-91G DE-BY-TUM DE-12 DE-19 DE-BY-UBM DE-521 DE-11 DE-525
physical	302 S.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Oldenbourg
record_format	marc
series	Berichte der Gesellschaft für Mathematik und Datenverarbeitung
series2	Berichte der Gesellschaft für Mathematik und Datenverarbeitung
spellingShingle	Lock, Hendrik C. R. The implementation of functional logic programming languages Berichte der Gesellschaft für Mathematik und Datenverarbeitung Declarative programming Programming languages (Electronic computers) Implementierung Informatik (DE-588)4026663-1 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Übersetzerbau (DE-588)4121803-6 gnd Funktional-logische Programmiersprache (DE-588)4323938-9 gnd Programmiersprache (DE-588)4047409-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Implementation (DE-588)4026661-8 gnd Funktionale Programmierung (DE-588)4198740-8 gnd
subject_GND	(DE-588)4026663-1 (DE-588)4129948-6 (DE-588)4121803-6 (DE-588)4323938-9 (DE-588)4047409-4 (DE-588)4195096-3 (DE-588)4026661-8 (DE-588)4198740-8 (DE-588)4113937-9
title	The implementation of functional logic programming languages
title_auth	The implementation of functional logic programming languages
title_exact_search	The implementation of functional logic programming languages
title_full	The implementation of functional logic programming languages Hendrik C. R. Lock
title_fullStr	The implementation of functional logic programming languages Hendrik C. R. Lock
title_full_unstemmed	The implementation of functional logic programming languages Hendrik C. R. Lock
title_short	The implementation of functional logic programming languages
title_sort	the implementation of functional logic programming languages
topic	Declarative programming Programming languages (Electronic computers) Implementierung Informatik (DE-588)4026663-1 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Übersetzerbau (DE-588)4121803-6 gnd Funktional-logische Programmiersprache (DE-588)4323938-9 gnd Programmiersprache (DE-588)4047409-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Implementation (DE-588)4026661-8 gnd Funktionale Programmierung (DE-588)4198740-8 gnd
topic_facet	Declarative programming Programming languages (Electronic computers) Implementierung Informatik Funktionale Programmiersprache Übersetzerbau Funktional-logische Programmiersprache Programmiersprache Logische Programmierung Implementation Funktionale Programmierung Hochschulschrift
volume_link	(DE-604)BV000001499
work_keys_str_mv	AT lockhendrikcr theimplementationoffunctionallogicprogramminglanguages

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 001z 2001 A 951-208 Lageplan
Exemplar 1	Ausleihbar Am Standort