Holdings: Logik und Logikprogrammierung

Logik und Logikprogrammierung: Band 2 Aufgaben und Lösungen

Saved in:

Bibliographic Details
Main Authors:	Bader, Sebastian 1977- (Author), Hölldobler, Steffen 1957-2023 (Author), Fronhöfer, Bertram (Author), Hans, Ursula (Author), Hitzler, Pascal (Author), Krötzsch, Markus 1981- (Author), Pietzsch, Tobias 1975- (Author)
Format:	Book
Language:	German
Published:	Heidelberg Synchron, Wissenschaftsverlag der Autoren [2011] Heidelberg 2009-2011
Series:	Kolleg Synchron
Subjects:	Computational logic Logische Programmierung
Physical Description:	xxiv, 474 Seiten Illustrationen, Diagramme
ISBN:	9783935025850

Staff View

MARC


LEADER	00000nam a2200000 cc4500
001	BV036528134
003	DE-604
005	20231124
007	t\|
008	100629s2011 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 9783935025850 \|c softcover \|9 978-3-935025-85-0
035			\|a (OCoLC)705633199
035			\|a (DE-599)BVBBV036528134
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-BY
049			\|a DE-19 \|a DE-573 \|a DE-1051 \|a DE-83 \|a DE-29T \|a DE-11
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
100	1		\|a Bader, Sebastian \|d 1977- \|e Verfasser \|0 (DE-588)14023618X \|4 aut
245	1	0	\|a Logik und Logikprogrammierung \|n Band 2 \|p Aufgaben und Lösungen \|c Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
264		1	\|c [2011]
264		1	\|a Heidelberg \|b Synchron, Wissenschaftsverlag der Autoren
264		4	\|c © 2011
264		1	\|a Heidelberg \|b Synchron, Wissenschaftsverlag der Autoren \|c 2009-2011
300			\|a xxiv, 474 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Computational logic \|0 (DE-588)4255672-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computational logic \|0 (DE-588)4255672-7 \|D s
689	1		\|5 DE-604
700	1		\|a Hölldobler, Steffen \|d 1957-2023 \|e Verfasser \|0 (DE-588)140349375 \|4 aut
700	1		\|a Fronhöfer, Bertram \|e Verfasser \|4 aut
700	1		\|a Hans, Ursula \|e Verfasser \|4 aut
700	1		\|a Hitzler, Pascal \|e Verfasser \|0 (DE-588)133575829 \|4 aut
700	1		\|a Krötzsch, Markus \|d 1981- \|e Verfasser \|0 (DE-588)1026312019 \|4 aut
700	1		\|a Pietzsch, Tobias \|d 1975- \|e Verfasser \|0 (DE-588)1020599162 \|4 aut
773	0	8	\|w (DE-604)BV035864531 \|g 2
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020449980

Record in the Search Index

_version_	1830187150331609088
adam_text
any_adam_object
author	Bader, Sebastian 1977- Hölldobler, Steffen 1957-2023 Fronhöfer, Bertram Hans, Ursula Hitzler, Pascal Krötzsch, Markus 1981- Pietzsch, Tobias 1975-
author_GND	(DE-588)14023618X (DE-588)140349375 (DE-588)133575829 (DE-588)1026312019 (DE-588)1020599162
author_facet	Bader, Sebastian 1977- Hölldobler, Steffen 1957-2023 Fronhöfer, Bertram Hans, Ursula Hitzler, Pascal Krötzsch, Markus 1981- Pietzsch, Tobias 1975-
author_role	aut aut aut aut aut aut aut
author_sort	Bader, Sebastian 1977-
author_variant	s b sb s h sh b f bf u h uh p h ph m k mk t p tp
building	Verbundindex
bvnumber	BV036528134
classification_rvk	SK 130 ST 230 ST 125
ctrlnum	(OCoLC)705633199 (DE-599)BVBBV036528134
discipline	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV036528134</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231124</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100629s2011 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783935025850</subfield><subfield code="c">softcover</subfield><subfield code="9">978-3-935025-85-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705633199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036528134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</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="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">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bader, Sebastian</subfield><subfield code="d">1977-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)14023618X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik und Logikprogrammierung</subfield><subfield code="n">Band 2</subfield><subfield code="p">Aufgaben und Lösungen</subfield><subfield code="c">Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">[2011]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Synchron, Wissenschaftsverlag der Autoren</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2011</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Synchron, Wissenschaftsverlag der Autoren</subfield><subfield code="c">2009-2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxiv, 474 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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="689" ind1="0" ind2="0"><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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hölldobler, Steffen</subfield><subfield code="d">1957-2023</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140349375</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fronhöfer, Bertram</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hans, Ursula</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hitzler, Pascal</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133575829</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krötzsch, Markus</subfield><subfield code="d">1981-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1026312019</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pietzsch, Tobias</subfield><subfield code="d">1975-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1020599162</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV035864531</subfield><subfield code="g">2</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020449980</subfield></datafield></record></collection>
id	DE-604.BV036528134
illustrated	Illustrated
indexdate	2025-04-23T10:01:19Z
institution	BVB
isbn	9783935025850
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020449980
oclc_num	705633199
open_access_boolean
owner	DE-19 DE-BY-UBM DE-573 DE-1051 DE-83 DE-29T DE-11
owner_facet	DE-19 DE-BY-UBM DE-573 DE-1051 DE-83 DE-29T DE-11
physical	xxiv, 474 Seiten Illustrationen, Diagramme
publishDate	2011 2009
publishDateSearch	2011
publishDateSort	2011
publisher	Synchron, Wissenschaftsverlag der Autoren
record_format	marc
series2	Kolleg Synchron
spelling	Bader, Sebastian 1977- Verfasser (DE-588)14023618X aut Logik und Logikprogrammierung Band 2 Aufgaben und Lösungen Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch [2011] Heidelberg Synchron, Wissenschaftsverlag der Autoren © 2011 Heidelberg Synchron, Wissenschaftsverlag der Autoren 2009-2011 xxiv, 474 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Computational logic (DE-588)4255672-7 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 Computational logic (DE-588)4255672-7 s Hölldobler, Steffen 1957-2023 Verfasser (DE-588)140349375 aut Fronhöfer, Bertram Verfasser aut Hans, Ursula Verfasser aut Hitzler, Pascal Verfasser (DE-588)133575829 aut Krötzsch, Markus 1981- Verfasser (DE-588)1026312019 aut Pietzsch, Tobias 1975- Verfasser (DE-588)1020599162 aut (DE-604)BV035864531 2
spellingShingle	Bader, Sebastian 1977- Hölldobler, Steffen 1957-2023 Fronhöfer, Bertram Hans, Ursula Hitzler, Pascal Krötzsch, Markus 1981- Pietzsch, Tobias 1975- Logik und Logikprogrammierung Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd
subject_GND	(DE-588)4255672-7 (DE-588)4195096-3
title	Logik und Logikprogrammierung
title_auth	Logik und Logikprogrammierung
title_exact_search	Logik und Logikprogrammierung
title_full	Logik und Logikprogrammierung Band 2 Aufgaben und Lösungen Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
title_fullStr	Logik und Logikprogrammierung Band 2 Aufgaben und Lösungen Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
title_full_unstemmed	Logik und Logikprogrammierung Band 2 Aufgaben und Lösungen Steffen Hölldobler ; Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
title_short	Logik und Logikprogrammierung
title_sort	logik und logikprogrammierung aufgaben und losungen
topic	Computational logic (DE-588)4255672-7 gnd Logische Programmierung (DE-588)4195096-3 gnd
topic_facet	Computational logic Logische Programmierung
volume_link	(DE-604)BV035864531
work_keys_str_mv	AT badersebastian logikundlogikprogrammierungband2 AT holldoblersteffen logikundlogikprogrammierungband2 AT fronhoferbertram logikundlogikprogrammierungband2 AT hansursula logikundlogikprogrammierungband2 AT hitzlerpascal logikundlogikprogrammierungband2 AT krotzschmarkus logikundlogikprogrammierungband2 AT pietzschtobias logikundlogikprogrammierungband2

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items