Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and impleme...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Naish, Lee - 1960-
Kongresse:	International Conference on Logic Programming ; (14th :1997 :Louvain, Belgium) International Conference on Logic Programming ; 14th ; Louvain, Belgium ; 1997

Format:	E-Book
Sprache:	Englisch

Erschienen:	Cambridge, Mass: MIT Press ; c1997

Schlagwörter:	Logic programming, Congresses Logic programming ; Congresses

Systematik:	SS 1997

Anmerkung:	"July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index
Umfang:	Online-Ressource (xvii, 424 p) ; ill

Reproduktion:	Online-Ausg.

Reihe:	Logic programming

Links:	Link aufrufen IEEE Xplore Inhaltsverzeichnis
ISBN:	0-262-29135-5 0-262-64035-X 978-0-262-29135-4 978-0-262-64035-0

Katalog-ID:	816666628

Internformat


LEADER	01000cam a22002652 4500
001	816666628
003	DE-627
005	20231004172609.0
007	cr uuu---uuuuu
008	150128s1997 xxu\|\|\|\|\|o 00\| \|\|eng c
020			\|a 0262291355 \|c electronic bk. \|9 0-262-29135-5
020			\|a 026264035X \|9 0-262-64035-X
020			\|a 9780262291354 \|c : electronic bk. \|9 978-0-262-29135-4
020			\|a 9780262640350 \|9 978-0-262-64035-0
035			\|a (DE-627)816666628
035			\|a (DE-576)9816666626
035			\|a (DE-599)GBV816666628
035			\|a (OCoLC)827009804
035			\|a (MITPRESS)6267518
035			\|a (EBP)055120369
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XD-US
050		0	\|a QA76.63
082	0		\|a 005.115 \|2 22
084			\|a SS 1997 \|2 rvk \|0 (DE-625)rvk/143434:
111	2		\|a International Conference on Logic Programming \|c (14th :1997 :Louvain, Belgium) \|4 aut
245	1	0	\|a Logic programming \|b proceedings of the Fourteenth International Conference on Logic Programming \|c edited by Lee Naish
264		1	\|a Cambridge, Mass \|b MIT Press \|c c1997
300			\|a Online-Ressource (xvii, 424 p) \|b ill
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	0		\|a Logic programming
500			\|a "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover
500			\|a Includes bibliographical references and index
520			\|a "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.
533			\|a Online-Ausg.
650		0	\|a Logic programming \|v Congresses
650		4	\|a Logic programming ; Congresses
700	1		\|a Naish, Lee \|d 1960- \|4 oth
711	2	9	\|a International Conference on Logic Programming \|n 14th \|c Louvain, Belgium \|d 1997
776	1		\|z 9780262640350
776	0	8	\|i Print version \|a Logic programming
856	4	0	\|u https://ieeexplore.ieee.org/book/6267518 \|m X:MITPRESS \|x Verlag \|y IEEE Xplore \|z lizenzpflichtig \|3 Volltext
856	4	2	\|u http://www.gbv.de/dms/bowker/toc/9780262640350.pdf \|m V:DE-601 \|m X:Bowker \|q pdf/application \|v 2015-03-18 \|x Verlag \|y Inhaltsverzeichnis \|3 Inhaltsverzeichnis
912			\|a ZDB-37-IEM \|b 2012
912			\|a GBV_ILN_22
912			\|a ISIL_DE-18
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a GBV_ILN_22_i22818
912			\|a GBV_ILN_23
912			\|a ISIL_DE-830
912			\|a GBV_ILN_100
912			\|a ISIL_DE-Ma9
912			\|a GBV_ILN_370
912			\|a ISIL_DE-1373
912			\|a GBV_ILN_2015
912			\|a ISIL_DE-93
936	r	v	\|a SS 1997 \|b Veranstaltungsjahr 1997 \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Kongressberichte \|k Veranstaltungsjahr 1997 \|0 (DE-627)127148840X \|0 (DE-625)rvk/143434: \|0 (DE-576)20148840X
951			\|a BO
953			\|2 045F \|a 005.115
980			\|2 22 \|1 01 \|x 0018 \|b 3848469561 \|h olrm-h228-MITIEEE \|y zi22818 \|z 03-02-21
980			\|2 23 \|1 01 \|x 0830 \|b 1521012024 \|h olr-MIT \|u i \|y z \|z 31-01-15
980			\|2 100 \|1 01 \|x 3100 \|b 4472463105 \|c 09 \|f --%%-- \|d eBook MIT Press \|e --%%-- \|j --%%-- \|h OLR-MIT-CEC \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 30-01-24
980			\|2 370 \|1 01 \|x 4370 \|b 4011215805 \|h olr-ebook mitieee \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|u i \|y z \|z 01-12-21
980			\|2 2015 \|1 01 \|x DE-93 \|b 3740750553 \|c 00 \|f --%%-- \|d --%%-- \|e p \|j --%%-- \|k Campuslizenz \|y l01 \|z 18-08-20
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang Campus \|r https://ieeexplore.ieee.org/book/6267518
981			\|2 22 \|1 01 \|x 0018 \|y Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus \|r http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518
981			\|2 23 \|1 01 \|x 0830 \|y MIT Press EBook \|r https://ieeexplore.ieee.org/book/6267518
981			\|2 100 \|1 01 \|x 3100 \|r https://ieeexplore.ieee.org/book/6267518
981			\|2 100 \|1 01 \|x 3100 \|y für Uniangehörige: Zugang weltweit \|r http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518
981			\|2 370 \|1 01 \|x 4370 \|y E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich \|r https://ieeexplore.ieee.org/book/6267518
981			\|2 2015 \|1 01 \|x DE-93 \|r https://ieeexplore.ieee.org/book/6267518
985			\|2 23 \|1 01 \|x 0830 \|a 2018-01805, 2018-01806, 2018-01808
995			\|2 22 \|1 01 \|x 0018 \|a olrm-h228-MITIEEE
995			\|2 23 \|1 01 \|x 0830 \|a olr-MIT
995			\|2 100 \|1 01 \|x 3100 \|a OLR-MIT-CEC
995			\|2 370 \|1 01 \|x 4370 \|a olr-ebook mitieee
998			\|2 23 \|1 01 \|x 0830 \|0 2015.01.31
998			\|2 370 \|1 01 \|x 4370 \|0 2021.12.01

Indexfelder

matchkey_str	book:9780262291354:1997----
oclc_num	827009804
hierarchy_sort_str	c1997
callnumber-subject-code	QA
publishDate	1997
allfields	0262291355 electronic bk. 0-262-29135-5 026264035X 0-262-64035-X 9780262291354 : electronic bk. 978-0-262-29135-4 9780262640350 978-0-262-64035-0 (DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434: International Conference on Logic Programming (14th :1997 :Louvain, Belgium) aut Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Cambridge, Mass MIT Press c1997 Online-Ressource (xvii, 424 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Naish, Lee 1960- oth International Conference on Logic Programming 14th Louvain, Belgium 1997 9780262640350 Print version Logic programming https://ieeexplore.ieee.org/book/6267518 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262640350.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1997 Veranstaltungsjahr 1997 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1997 (DE-627)127148840X (DE-625)rvk/143434: (DE-576)20148840X BO 045F 005.115 22 01 0018 3848469561 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521012024 olr-MIT i z 31-01-15 100 01 3100 4472463105 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215805 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750553 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267518 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267518 100 01 3100 https://ieeexplore.ieee.org/book/6267518 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267518 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267518 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01
spelling	0262291355 electronic bk. 0-262-29135-5 026264035X 0-262-64035-X 9780262291354 : electronic bk. 978-0-262-29135-4 9780262640350 978-0-262-64035-0 (DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434: International Conference on Logic Programming (14th :1997 :Louvain, Belgium) aut Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Cambridge, Mass MIT Press c1997 Online-Ressource (xvii, 424 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Naish, Lee 1960- oth International Conference on Logic Programming 14th Louvain, Belgium 1997 9780262640350 Print version Logic programming https://ieeexplore.ieee.org/book/6267518 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262640350.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1997 Veranstaltungsjahr 1997 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1997 (DE-627)127148840X (DE-625)rvk/143434: (DE-576)20148840X BO 045F 005.115 22 01 0018 3848469561 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521012024 olr-MIT i z 31-01-15 100 01 3100 4472463105 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215805 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750553 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267518 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267518 100 01 3100 https://ieeexplore.ieee.org/book/6267518 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267518 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267518 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01
allfields_unstemmed	0262291355 electronic bk. 0-262-29135-5 026264035X 0-262-64035-X 9780262291354 : electronic bk. 978-0-262-29135-4 9780262640350 978-0-262-64035-0 (DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434: International Conference on Logic Programming (14th :1997 :Louvain, Belgium) aut Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Cambridge, Mass MIT Press c1997 Online-Ressource (xvii, 424 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Naish, Lee 1960- oth International Conference on Logic Programming 14th Louvain, Belgium 1997 9780262640350 Print version Logic programming https://ieeexplore.ieee.org/book/6267518 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262640350.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1997 Veranstaltungsjahr 1997 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1997 (DE-627)127148840X (DE-625)rvk/143434: (DE-576)20148840X BO 045F 005.115 22 01 0018 3848469561 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521012024 olr-MIT i z 31-01-15 100 01 3100 4472463105 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215805 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750553 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267518 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267518 100 01 3100 https://ieeexplore.ieee.org/book/6267518 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267518 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267518 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01
allfieldsGer	0262291355 electronic bk. 0-262-29135-5 026264035X 0-262-64035-X 9780262291354 : electronic bk. 978-0-262-29135-4 9780262640350 978-0-262-64035-0 (DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434: International Conference on Logic Programming (14th :1997 :Louvain, Belgium) aut Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Cambridge, Mass MIT Press c1997 Online-Ressource (xvii, 424 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Naish, Lee 1960- oth International Conference on Logic Programming 14th Louvain, Belgium 1997 9780262640350 Print version Logic programming https://ieeexplore.ieee.org/book/6267518 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262640350.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1997 Veranstaltungsjahr 1997 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1997 (DE-627)127148840X (DE-625)rvk/143434: (DE-576)20148840X BO 045F 005.115 22 01 0018 3848469561 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521012024 olr-MIT i z 31-01-15 100 01 3100 4472463105 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215805 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750553 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267518 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267518 100 01 3100 https://ieeexplore.ieee.org/book/6267518 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267518 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267518 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01
allfieldsSound	0262291355 electronic bk. 0-262-29135-5 026264035X 0-262-64035-X 9780262291354 : electronic bk. 978-0-262-29135-4 9780262640350 978-0-262-64035-0 (DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434: International Conference on Logic Programming (14th :1997 :Louvain, Belgium) aut Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Cambridge, Mass MIT Press c1997 Online-Ressource (xvii, 424 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index "The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Naish, Lee 1960- oth International Conference on Logic Programming 14th Louvain, Belgium 1997 9780262640350 Print version Logic programming https://ieeexplore.ieee.org/book/6267518 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262640350.pdf V:DE-601 X:Bowker pdf/application 2015-03-18 Verlag Inhaltsverzeichnis Inhaltsverzeichnis ZDB-37-IEM 2012 GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93 SS 1997 Veranstaltungsjahr 1997 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1997 (DE-627)127148840X (DE-625)rvk/143434: (DE-576)20148840X BO 045F 005.115 22 01 0018 3848469561 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521012024 olr-MIT i z 31-01-15 100 01 3100 4472463105 09 --%%-- eBook MIT Press --%%-- --%%-- OLR-MIT-CEC Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 30-01-24 370 01 4370 4011215805 olr-ebook mitieee Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 01-12-21 2015 01 DE-93 3740750553 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267518 22 01 0018 Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267518 100 01 3100 https://ieeexplore.ieee.org/book/6267518 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://ieeexplore.ieee.org/book/6267518 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267518 23 01 0830 2018-01805, 2018-01806, 2018-01808 22 01 0018 olrm-h228-MITIEEE 23 01 0830 olr-MIT 100 01 3100 OLR-MIT-CEC 370 01 4370 olr-ebook mitieee 23 01 0830 2015.01.31 370 01 4370 2021.12.01
language	English
format_phy_str_mv	Book
building	22:i 23 100 370 2015:0
institution	findex.gbv.de
selectbib_iln_str_mv	22@i22818 23@ 100@ 370@ 2015@01
topic_facet	Logic programming Logic programming ; Congresses
dewey-raw	005.115
isfreeaccess_bool	false
authorswithroles_txt_mv	Naish, Lee @@oth@@
publishDateDaySort_date	1997-01-01T00:00:00Z
dewey-sort	15.115
id	816666628
signature_iln	100:eBook MIT Press 3100:eBook MIT Press
signature_iln_str_mv	100:eBook MIT Press 3100:eBook MIT Press
signature_iln_scis_mv	100:eBook MIT Press 3100:eBook MIT Press
genre_facet	Congresses
language_de	englisch
standort_str_mv	--%%--
callnumber-first	Q - Science
series2	Logic programming
standort_iln_str_mv	100:--%%-- 3100:--%%-- 2015:--%%-- DE-93:--%%--
format	eBook
dewey-ones	005 - Computer programming, programs & data
delete_txt_mv	keep
collection	KXP GVK SWB
publishPlace	Cambridge, Mass
remote_str	true
abrufzeichen_iln_str_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee
abrufzeichen_iln_scis_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee
author_corporate_role	aut
callnumber-label	QA76
last_changed_iln_str_mv	22@03-02-21 23@31-01-15 100@30-01-24 370@01-12-21 2015@18-08-20
illustrated	Not Illustrated
topic_title	QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434 Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish Logic programming Congresses Logic programming ; Congresses
publisher	MIT Press
publisherStr	MIT Press
topic	misc QA76.63 ddc 005.115 rvk SS 1997 misc Logic programming misc Logic programming ; Congresses
spellingShingle	misc QA76.63 ddc 005.115 rvk SS 1997 misc Logic programming misc Logic programming ; Congresses Logic programming proceedings of the Fourteenth International Conference on Logic Programming
topic_unstemmed	misc QA76.63 ddc 005.115 rvk SS 1997 misc Logic programming misc Logic programming ; Congresses
topic_browse	misc QA76.63 ddc 005.115 rvk SS 1997 misc Logic programming misc Logic programming ; Congresses
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	--%%--
format_main_str_mv	Text Buch
carriertype_str_mv	cr
author2_variant	l n ln
author_corporate	International Conference on Logic Programming (14th :1997 :Louvain, Belgium) International Conference on Logic Programming
signature	eBook MIT Press --%%--
signature_str_mv	eBook MIT Press --%%--
dewey-tens	000 - Computer science, knowledge & systems
isbn	0262291355 9780262291354 026264035X 9780262640350
isfreeaccess_txt	false
title	Logic programming proceedings of the Fourteenth International Conference on Logic Programming
ctrlnum	(DE-627)816666628 (DE-576)9816666626 (DE-599)GBV816666628 (OCoLC)827009804 (MITPRESS)6267518 (EBP)055120369
exemplarkommentar_str_mv	100@Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 370@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 2015@Campuslizenz
title_full	Logic programming proceedings of the Fourteenth International Conference on Logic Programming edited by Lee Naish
author_sort	International Conference on Logic Programming (14th :1997 :Louvain, Belgium)
callnumber-first-code	Q
lang_code	eng
selektneu_str_mv	23@2015.01.31 370@2021.12.01
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	1997
contenttype_str_mv	txt
selectkey	22:z 23:z 100:z 370:z 2015:l
physical	Online-Ressource (xvii, 424 p) ill
class	QA76.63 005.115 22 SS 1997 rvk (DE-625)rvk/143434
format_se	Elektronische Bücher
countryofpublication_str_mv	XD-US
title_sub	proceedings of the Fourteenth International Conference on Logic Programming
normlink	RVK/143434: 127148840X 20148840X 2015.01.31 2021.12.01
normlink_prefix_str_mv	(DE-625)rvk/143434: (DE-627)127148840X (DE-576)20148840X 2015.01.31 2021.12.01
dewey-full	005.115
title_sort	logic programmingproceedings of the fourteenth international conference on logic programming
callnumber	QA76.63
title_auth	Logic programming proceedings of the Fourteenth International Conference on Logic Programming
abstract	"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index
abstractGer	"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index
abstract_unstemmed	"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET. "July 8-12, 1997, Leuven, Belgium"--P. 4 of cover Includes bibliographical references and index
collection_details	ZDB-37-IEM GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93
title_short	Logic programming
url	https://ieeexplore.ieee.org/book/6267518 http://www.gbv.de/dms/bowker/toc/9780262640350.pdf
ausleihindikator_str_mv	22 23 100:- 370 2015:p
remote_bool	true
author2	International Conference on Logic Programming Naish, Lee 1960-
author2Str	International Conference on Logic Programming Naish, Lee 1960-
callnumber-subject	QA - Mathematics
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
callnumber-a	QA76.63
up_date	2024-07-25T08:56:13.765Z
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">816666628</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172609.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1997 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291355</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29135-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026264035X</subfield><subfield code="9">0-262-64035-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291354</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29135-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262640350</subfield><subfield code="9">978-0-262-64035-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816666628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816666626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816666628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827009804</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267518</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120369</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1997</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143434:</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="c">(14th :1997 :Louvain, Belgium)</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the Fourteenth International Conference on Logic Programming</subfield><subfield code="c">edited by Lee Naish</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xvii, 424 p)</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"July 8-12, 1997, Leuven, Belgium"--P. 4 of cover</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausg.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming ; Congresses</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Naish, Lee</subfield><subfield code="d">1960-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2="9"><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">14th</subfield><subfield code="c">Louvain, Belgium</subfield><subfield code="d">1997</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262640350</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version</subfield><subfield code="a">Logic programming</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/6267518</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="y">IEEE Xplore</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780262640350.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">X:Bowker</subfield><subfield code="q">pdf/application</subfield><subfield code="v">2015-03-18</subfield><subfield code="x">Verlag</subfield><subfield code="y">Inhaltsverzeichnis</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SS 1997</subfield><subfield code="b">Veranstaltungsjahr 1997</subfield><subfield code="k">Informatik</subfield><subfield code="k">Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen</subfield><subfield code="k">Kongressberichte</subfield><subfield code="k">Veranstaltungsjahr 1997</subfield><subfield code="0">(DE-627)127148840X</subfield><subfield code="0">(DE-625)rvk/143434:</subfield><subfield code="0">(DE-576)20148840X</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">005.115</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">3848469561</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1521012024</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">31-01-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">4472463105</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">30-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011215805</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740750553</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2015.01.31</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
fulltext	Program Committee Association for Logic Programming Series Foreword Preface Referees Global Variables in Logic Programming … A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages … Live-structure Analysis for Logic Programming Languages with Declarations … Non-Failure Analysis for Logic Programs … Automatic Termination Analysis of Logic Programs … Demand-driven and constraint-based automatic left-termination analysis for Logic Programs … Optimization of Logic Programs with Dynamic Scheduling … Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism … Implementation Mechanisms for Dependent And-Parallelism … Parallel Evaluation Strategies for Functional Logic Languages … A Higher Order Rewriting Logic for Functional Logic Programming … Translating Logic Programs into Conditional Rewriting Systems … Modularity in Functional-Logic Programming … Taking I/O Seriously: Resolution Reconsidered for Disk … Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm … Capturing Database Dynamics by Deferred Updates … Total Homeostaticity and Integrity Constraints Restorability Recognition … Assumption Grammars for Processing Natural Language … Visualization of And/Or-Parallel Execution of Logic Programs … Oz Explorer: A Visual Constraint Programming Tool … Constraint Search Trees … Solving Small TSPs with Constraints … A Modular Framework for the Combination of Unification and Built-In Constraints … A Strong Correspondence between Description Logics and Open Logic Programming … Disjunctive Logic Programming as Constrained Inferences … Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP … Hybrid Probabilistic Programs … Calculi for Disjunctive Logic Programming … Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models … Concurrent Logic Programming and [pi] Calculus … Connecting Propagators with a Concurrent Constraint Language … Reasoning on Constraints in Constraint Logic Programming … Tree Drawing Using Constraint Logic Programming … Supporting Partial and Complete Sets and Tuples in Deductive Databases … XSB as the Natural Habitat for General Purpose Program Analysis … Sharing Analysis Using Set Logic Programs … Domain Construction for Mode Analysis of Typed Logic Programs … The Complexity of Model Checking in Modal Event Calculi … Embedded Implications as a Generalization of Negation as Failure … Differential Bottom-Up Computation of the Well-Founded Semantics … Efficient Goal Directed Bottom-up Evaluation of Logic Programs … Author Index …
_version_	1805540680025505792
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a22002652 4500</leader><controlfield tag="001">816666628</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172609.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1997 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291355</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29135-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026264035X</subfield><subfield code="9">0-262-64035-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291354</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29135-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262640350</subfield><subfield code="9">978-0-262-64035-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816666628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816666626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816666628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827009804</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267518</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120369</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1997</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143434:</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="c">(14th :1997 :Louvain, Belgium)</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the Fourteenth International Conference on Logic Programming</subfield><subfield code="c">edited by Lee Naish</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xvii, 424 p)</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"July 8-12, 1997, Leuven, Belgium"--P. 4 of cover</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausg.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming ; Congresses</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Naish, Lee</subfield><subfield code="d">1960-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2="9"><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">14th</subfield><subfield code="c">Louvain, Belgium</subfield><subfield code="d">1997</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262640350</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version</subfield><subfield code="a">Logic programming</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ieeexplore.ieee.org/book/6267518</subfield><subfield code="m">X:MITPRESS</subfield><subfield code="x">Verlag</subfield><subfield code="y">IEEE Xplore</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780262640350.pdf</subfield><subfield code="m">V:DE-601</subfield><subfield code="m">X:Bowker</subfield><subfield code="q">pdf/application</subfield><subfield code="v">2015-03-18</subfield><subfield code="x">Verlag</subfield><subfield code="y">Inhaltsverzeichnis</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield><subfield code="b">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22_i22818</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ma9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-93</subfield></datafield><datafield tag="936" ind1="r" ind2="v"><subfield code="a">SS 1997</subfield><subfield code="b">Veranstaltungsjahr 1997</subfield><subfield code="k">Informatik</subfield><subfield code="k">Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen</subfield><subfield code="k">Kongressberichte</subfield><subfield code="k">Veranstaltungsjahr 1997</subfield><subfield code="0">(DE-627)127148840X</subfield><subfield code="0">(DE-625)rvk/143434:</subfield><subfield code="0">(DE-576)20148840X</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">005.115</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">3848469561</subfield><subfield code="h">olrm-h228-MITIEEE</subfield><subfield code="y">zi22818</subfield><subfield code="z">03-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1521012024</subfield><subfield code="h">olr-MIT</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">31-01-15</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="b">4472463105</subfield><subfield code="c">09</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook MIT Press</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-MIT-CEC</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">30-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4011215805</subfield><subfield code="h">olr-ebook mitieee</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">01-12-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="b">3740750553</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">p</subfield><subfield code="j">--%%--</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-08-20</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/ieee/ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">MIT Press EBook</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="y">für Uniangehörige: Zugang weltweit</subfield><subfield code="r">http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2015</subfield><subfield code="1">01</subfield><subfield code="x">DE-93</subfield><subfield code="r">https://ieeexplore.ieee.org/book/6267518</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2018-01805, 2018-01806, 2018-01808</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">olrm-h228-MITIEEE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-MIT</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">100</subfield><subfield code="1">01</subfield><subfield code="x">3100</subfield><subfield code="a">OLR-MIT-CEC</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">olr-ebook mitieee</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2015.01.31</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="0">2021.12.01</subfield></datafield></record></collection>
score	7.168991

Nicht das Richtige dabei?

Schreiben Sie uns!

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?