Holdings: Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning: 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin u.a. Springer 2003
Series:	Lecture notes in computer science 2850 : Lecture notes in artificial intelligence
Subjects:	Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift > 2003 > Almaty
Online Access:	DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 Volltext
Physical Description:	1 Online-Ressource
ISBN:	3540201017
DOI:	10.1007/b13986

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV021406905
003	DE-604
005	20080730
007	cr\|uuu---uuuuu
008	060216s2003 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540201017 \|9 3-540-20101-7
024	7		\|a 10.1007/b13986 \|2 doi
035			\|a (OCoLC)76649160
035			\|a (DE-599)BVBBV021406905
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-739 \|a DE-19 \|a DE-473 \|a DE-91 \|a DE-706 \|a DE-384
084			\|a DAT 000 \|2 stub
245	1	0	\|a Logic for programming, artificial intelligence, and reasoning \|b 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings \|c Moshe Y. Vardi ... (eds.)
264		1	\|a Berlin u.a. \|b Springer \|c 2003
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2850 : Lecture notes in artificial intelligence
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|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 Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2003 \|z Almaty \|2 gnd-content
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	1		\|5 DE-604
689	2	0	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	2		\|5 DE-604
700	1		\|a Vardi, Moshe Y. \|e Sonstige \|4 oth
711	2		\|a LPAR \|n 10 \|d 2003 \|c Almaty \|j Sonstige \|0 (DE-588)10064408-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2850 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 2850
856	4	0	\|u https://doi.org/10.1007/b13986 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-014658441
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13986 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820874980217323520
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV021406905
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)76649160 (DE-599)BVBBV021406905
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/b13986
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV021406905</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080730</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">060216s2003 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540201017</subfield><subfield code="9">3-540-20101-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b13986</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76649160</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021406905</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings</subfield><subfield code="c">Moshe Y. Vardi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2850 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">Almaty</subfield><subfield code="2">gnd-content</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vardi, Moshe Y.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">10</subfield><subfield code="d">2003</subfield><subfield code="c">Almaty</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10064408-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2850 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2850</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014658441</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13986</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2003 Almaty gnd-content
genre_facet	Konferenzschrift 2003 Almaty
id	DE-604.BV021406905
illustrated	Not Illustrated
index_date	2024-07-02T14:03:18Z
indexdate	2025-01-10T15:08:21Z
institution	BVB
institution_GND	(DE-588)10064408-9
isbn	3540201017
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014658441
oclc_num	76649160
open_access_boolean
owner	DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-384
owner_facet	DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-384
physical	1 Online-Ressource
psigel	ZDB-2-SCS
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Moshe Y. Vardi ... (eds.) Berlin u.a. Springer 2003 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2850 : Lecture notes in artificial intelligence Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Almaty gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Programmierlogik (DE-588)4047408-2 s Vardi, Moshe Y. Sonstige oth LPAR 10 2003 Almaty Sonstige (DE-588)10064408-9 oth Lecture notes in computer science 2850 : Lecture notes in artificial intelligence (DE-604)BV014880109 2850 https://doi.org/10.1007/b13986 Verlag Volltext
spellingShingle	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Lecture notes in computer science Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)1071861417
title	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
title_auth	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
title_exact_search	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
title_exact_search_txtP	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
title_full	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Moshe Y. Vardi ... (eds.)
title_fullStr	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Moshe Y. Vardi ... (eds.)
title_full_unstemmed	Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings Moshe Y. Vardi ... (eds.)
title_short	Logic for programming, artificial intelligence, and reasoning
title_sort	logic for programming artificial intelligence and reasoning 10th international conference lpar 2003 almaty kazakhstan september 22 26 2003 proceedings
title_sub	10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
topic	Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift 2003 Almaty
url	https://doi.org/10.1007/b13986
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT vardimoshey logicforprogrammingartificialintelligenceandreasoning10thinternationalconferencelpar2003almatykazakhstanseptember22262003proceedings AT lparalmaty logicforprogrammingartificialintelligenceandreasoning10thinternationalconferencelpar2003almatykazakhstanseptember22262003proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items