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
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: |
---|
Systematik: |
|
---|
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: | |
---|---|
ISBN: |
0-262-29135-5 0-262-64035-X 978-0-262-29135-4 978-0-262-64035-0 |
Katalog-ID: |
816666628 |
---|
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 |
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 |