Verfügbarkeit: lgc ++ | Technische Universität München

lgc ++: ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Krieger, Rolf (VerfasserIn), Becker, Bernd (VerfasserIn), Hengster, Harry (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Frankfurt am Main Fachbereich Informatik, Univ. 1993
Schriftenreihe:	Interner Bericht / Fachbereich Informatik, Universität Frankfurt 1993,8
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005550963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	21 S. graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV008424509
003	DE-604
005	19931221
007	t\|
008	931221s1993 gw d\|\|\| \|\|\|\| 00\|\|\| eng d
016	7		\|a 940289423 \|2 DE-101
035			\|a (OCoLC)46256844
035			\|a (DE-599)BVBBV008424509
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-91G
100	1		\|a Krieger, Rolf \|e Verfasser \|4 aut
245	1	0	\|a lgc ++ \|b ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung) \|c Rolf Krieger ; Bernd Becker ; Harry Hengster
246	1	3	\|a lgc plus plus
264		1	\|a Frankfurt am Main \|b Fachbereich Informatik, Univ. \|c 1993
300			\|a 21 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Interner Bericht / Fachbereich Informatik, Universität Frankfurt \|v 1993,8
700	1		\|a Becker, Bernd \|e Verfasser \|4 aut
700	1		\|a Hengster, Harry \|e Verfasser \|4 aut
810	2		\|a Fachbereich Informatik, Universität Frankfurt \|t Interner Bericht \|v 1993,8 \|w (DE-604)BV000600974 \|9 1993,8
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005550963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-005550963

Datensatz im Suchindex

DE-BY-TUM_call_number	0111 2001 B 6037-1993,8
DE-BY-TUM_katkey	610025
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010004025
_version_	1821930893625786371
adam_text	INHALTSVERZEICHNIS 1 EINLEITUNG 2 2 BESCHREIBUNG DER LOGIK 3 2.1 DAS HILFSPROGRAMM LGC+ . 6 2.2 AUFRUF VON LGC+ . 7 2.3 AUFRUF VON LGC++ . 7 3 IMPLEMENTIERUNG DES ABSTRAKTEN DATENTYPS 9 3.1 DIE DEKLARATION DER KLASSE LOGIC . 9 3.1.1 STATISCHE MEMBERVARIABLEN . YY. . 9 3.1.2 EXTERNE DEKLARATIONEN DER FUNKTIONSTABELLEN . . . . 10 3.1.3 OEFFENTLICHE MEMBERFUNKTIONEN . . 10 3.1.4 STATISCHE MEMBERFUNKTIONEN . 10 3.1.5 FRIENDFUNKTIONEN . 11 3.2 DEFINITIONEN DER MEMBERFUNKTIONEN . 12 4 MESSUNGEN 13 A BEISPIEL .14 A.L EINGABE FUER LGC+ . 14 A.2 AUSGABE VON LGC+ . 14 A.3 EINGABE FUER LGC++ . 15 A.4 AUSGABE VON LGC++ . 16 A.4.1 DIE HEADERDATEI LOLX.H . 16 A.4.2 . DIE QUELLCODEDATEI LOLX.C . 18 A.5 BEISPIELPROGRAMM . 21
any_adam_object	1
author	Krieger, Rolf Becker, Bernd Hengster, Harry
author_facet	Krieger, Rolf Becker, Bernd Hengster, Harry
author_role	aut aut aut
author_sort	Krieger, Rolf
author_variant	r k rk b b bb h h hh
building	Verbundindex
bvnumber	BV008424509
ctrlnum	(OCoLC)46256844 (DE-599)BVBBV008424509
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008424509</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931221</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">931221s1993 gw d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940289423</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46256844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008424509</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-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krieger, Rolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">lgc ++</subfield><subfield code="b">ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)</subfield><subfield code="c">Rolf Krieger ; Bernd Becker ; Harry Hengster</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">lgc plus plus</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main</subfield><subfield code="b">Fachbereich Informatik, Univ.</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 S.</subfield><subfield code="b">graph. Darst.</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">Interner Bericht / Fachbereich Informatik, Universität Frankfurt</subfield><subfield code="v">1993,8</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Becker, Bernd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hengster, Harry</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik, Universität Frankfurt</subfield><subfield code="t">Interner Bericht</subfield><subfield code="v">1993,8</subfield><subfield code="w">(DE-604)BV000600974</subfield><subfield code="9">1993,8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005550963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005550963</subfield></datafield></record></collection>
id	DE-604.BV008424509
illustrated	Illustrated
indexdate	2025-01-11T11:41:09Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-005550963
oclc_num	46256844
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM
owner_facet	DE-12 DE-91G DE-BY-TUM
physical	21 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Fachbereich Informatik, Univ.
record_format	marc
series2	Interner Bericht / Fachbereich Informatik, Universität Frankfurt
spellingShingle	Krieger, Rolf Becker, Bernd Hengster, Harry lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)
title	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)
title_alt	lgc plus plus
title_auth	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)
title_exact_search	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)
title_full	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung) Rolf Krieger ; Bernd Becker ; Harry Hengster
title_fullStr	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung) Rolf Krieger ; Bernd Becker ; Harry Hengster
title_full_unstemmed	lgc ++ ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung) Rolf Krieger ; Bernd Becker ; Harry Hengster
title_short	lgc ++
title_sort	lgc ein werkzeug zur implementierung von logiken als abstrakte datentypen in c benutzeranleitung
title_sub	ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C ++ ; (Benutzeranleitung)
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005550963&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000600974
work_keys_str_mv	AT kriegerrolf lgceinwerkzeugzurimplementierungvonlogikenalsabstraktedatentypenincbenutzeranleitung AT beckerbernd lgceinwerkzeugzurimplementierungvonlogikenalsabstraktedatentypenincbenutzeranleitung AT hengsterharry lgceinwerkzeugzurimplementierungvonlogikenalsabstraktedatentypenincbenutzeranleitung AT kriegerrolf lgcplusplus AT beckerbernd lgcplusplus AT hengsterharry lgcplusplus

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik & Informatik, Berichte
Signatur:	0111 2001 B 6037-1993,8 Lageplan
Exemplar 1	Ausleihbar Am Standort