Verfügbarkeit: The implementation of functional logic programming languages

The implementation of functional logic programming languages:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lock, Hendrik C. R. (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	München u.a. Oldenbourg 1993
Schriftenreihe:	Berichte der Gesellschaft für Mathematik und Datenverarbeitung 208
Schlagworte:	Declarative programming Programming languages (Electronic computers) Implementierung > Informatik Funktionale Programmiersprache Übersetzerbau Funktional-logische Programmiersprache Programmiersprache Logische Programmierung Implementation Funktionale Programmierung Hochschulschrift
Beschreibung:	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
999			\|a oai:aleph.bib-bvb.de:BVB01-004627850
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

Datensatz im Suchindex

_version_	1804121438188208128
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>02911nam 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004627850</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></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV007222745
illustrated	Not Illustrated
indexdate	2024-07-09T16:57:59Z
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
spelling	Lock, Hendrik C. R. Verfasser aut The implementation of functional logic programming languages Hendrik C. R. Lock München u.a. Oldenbourg 1993 302 S. txt rdacontent n rdamedia nc rdacarrier Berichte der Gesellschaft für Mathematik und Datenverarbeitung 208 Zugl.: Berlin, Tech. Univ., Diss., 1992 Declarative programming Programming languages (Electronic computers) Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Übersetzerbau (DE-588)4121803-6 gnd rswk-swf Funktional-logische Programmiersprache (DE-588)4323938-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Implementation (DE-588)4026661-8 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Funktionale Programmierung (DE-588)4198740-8 s Logische Programmierung (DE-588)4195096-3 s DE-604 Funktionale Programmiersprache (DE-588)4129948-6 s Implementierung Informatik (DE-588)4026663-1 s Funktional-logische Programmiersprache (DE-588)4323938-9 s Übersetzerbau (DE-588)4121803-6 s Programmiersprache (DE-588)4047409-4 s 1\p DE-604 Implementation (DE-588)4026661-8 s 2\p DE-604 Berichte der Gesellschaft für Mathematik und Datenverarbeitung 208 (DE-604)BV000001499 208 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
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

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