Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, i...
Ausführliche Beschreibung
Autor*in: |
Maher, Michael - 1959- |
---|---|
Kongresse: |
Joint International Conference and Symposium on Logic Programming ; (1996 :Bonn, Germany) Joint International Conference and Symposium on Logic Programming ; Bonn, Germany ; 1996 |
Format: |
E-Book |
---|---|
Sprache: |
Englisch |
Erschienen: |
Cambridge, Mass London: MIT ; c1996 |
---|
Schlagwörter: |
---|
Systematik: |
|
---|
Anmerkung: |
Includes index |
---|---|
Umfang: |
Online-Ressource (xix, 554 p) ; ill |
Reproduktion: |
Online-Ausg. |
---|
Reihe: |
Logic programming series |
---|
Links: | |
---|---|
ISBN: |
0-262-29130-4 0-262-63173-3 978-0-262-29130-9 978-0-262-63173-0 |
Katalog-ID: |
816667624 |
---|
LEADER | 01000cam a22002652 4500 | ||
---|---|---|---|
001 | 816667624 | ||
003 | DE-627 | ||
005 | 20231004172611.0 | ||
007 | cr uuu---uuuuu | ||
008 | 150128s1996 xxu|||||o 00| ||eng c | ||
020 | |a 0262291304 |c electronic bk. |9 0-262-29130-4 | ||
020 | |a 0262631733 |9 0-262-63173-3 | ||
020 | |a 9780262291309 |c : electronic bk. |9 978-0-262-29130-9 | ||
020 | |a 9780262631730 |9 978-0-262-63173-0 | ||
035 | |a (DE-627)816667624 | ||
035 | |a (DE-576)9816667622 | ||
035 | |a (DE-599)GBV816667624 | ||
035 | |a (OCoLC)827335566 | ||
035 | |a (MITPRESS)6267515 | ||
035 | |a (EBP)055120334 | ||
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.131 |2 22 | |
084 | |a SS 1996 |2 rvk |0 (DE-625)rvk/143433: | ||
111 | 2 | |a Joint International Conference and Symposium on Logic Programming |c (1996 :Bonn, Germany) |4 aut | |
245 | 1 | 0 | |a Logic programming |b proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |c edited by Michael Maher |
264 | 1 | |a Cambridge, Mass |a London |b MIT |c c1996 | |
300 | |a Online-Ressource (xix, 554 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 series | |
500 | |a Includes index | ||
520 | |a September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. | ||
533 | |a Online-Ausg. | ||
650 | 0 | |a Logic programming |v Congresses | |
650 | 4 | |a Logic programming ; Congresses | |
700 | 1 | |a Maher, Michael |d 1959- |4 oth | |
711 | 2 | 9 | |a Joint International Conference and Symposium on Logic Programming |c Bonn, Germany |d 1996 |
776 | 1 | |z 9780262631730 | |
776 | 0 | 8 | |i Print version |a Logic programming |
856 | 4 | 0 | |u https://ieeexplore.ieee.org/book/6267515 |m X:MITPRESS |x Verlag |y IEEE Xplore |z lizenzpflichtig |3 Volltext |
856 | 4 | 2 | |u http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 |b Veranstaltungsjahr 1996 |k Informatik |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen |k Kongressberichte |k Veranstaltungsjahr 1996 |0 (DE-627)127149132X |0 (DE-625)rvk/143433: |0 (DE-576)20149132X |
951 | |a BO | ||
953 | |2 045F |a 005.131 | ||
980 | |2 22 |1 01 |x 0018 |b 3848470551 |h olrm-h228-MITIEEE |y zi22818 |z 03-02-21 | ||
980 | |2 23 |1 01 |x 0830 |b 1521013012 |h olr-MIT |u i |y z |z 31-01-15 | ||
980 | |2 100 |1 01 |x 3100 |b 4472464098 |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 4011217344 |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 3740750588 |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/6267515 | ||
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/6267515 | ||
981 | |2 23 |1 01 |x 0830 |y MIT Press EBook |r https://ieeexplore.ieee.org/book/6267515 | ||
981 | |2 100 |1 01 |x 3100 |r https://ieeexplore.ieee.org/book/6267515 | ||
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/6267515 | ||
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/6267515 | ||
981 | |2 2015 |1 01 |x DE-93 |r https://ieeexplore.ieee.org/book/6267515 | ||
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:9780262291309:1996---- |
---|---|
oclc_num |
827335566 |
hierarchy_sort_str |
c1996 |
callnumber-subject-code |
QA |
publishDate |
1996 |
allfields |
0262291304 electronic bk. 0-262-29130-4 0262631733 0-262-63173-3 9780262291309 : electronic bk. 978-0-262-29130-9 9780262631730 978-0-262-63173-0 (DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433: Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) aut Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass London MIT c1996 Online-Ressource (xix, 554 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming series Includes index September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Maher, Michael 1959- oth Joint International Conference and Symposium on Logic Programming Bonn, Germany 1996 9780262631730 Print version Logic programming https://ieeexplore.ieee.org/book/6267515 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 Veranstaltungsjahr 1996 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1996 (DE-627)127149132X (DE-625)rvk/143433: (DE-576)20149132X BO 045F 005.131 22 01 0018 3848470551 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013012 olr-MIT i z 31-01-15 100 01 3100 4472464098 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 4011217344 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 3740750588 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267515 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/6267515 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267515 100 01 3100 https://ieeexplore.ieee.org/book/6267515 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267515 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/6267515 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267515 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 |
0262291304 electronic bk. 0-262-29130-4 0262631733 0-262-63173-3 9780262291309 : electronic bk. 978-0-262-29130-9 9780262631730 978-0-262-63173-0 (DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433: Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) aut Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass London MIT c1996 Online-Ressource (xix, 554 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming series Includes index September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Maher, Michael 1959- oth Joint International Conference and Symposium on Logic Programming Bonn, Germany 1996 9780262631730 Print version Logic programming https://ieeexplore.ieee.org/book/6267515 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 Veranstaltungsjahr 1996 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1996 (DE-627)127149132X (DE-625)rvk/143433: (DE-576)20149132X BO 045F 005.131 22 01 0018 3848470551 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013012 olr-MIT i z 31-01-15 100 01 3100 4472464098 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 4011217344 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 3740750588 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267515 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/6267515 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267515 100 01 3100 https://ieeexplore.ieee.org/book/6267515 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267515 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/6267515 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267515 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 |
0262291304 electronic bk. 0-262-29130-4 0262631733 0-262-63173-3 9780262291309 : electronic bk. 978-0-262-29130-9 9780262631730 978-0-262-63173-0 (DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433: Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) aut Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass London MIT c1996 Online-Ressource (xix, 554 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming series Includes index September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Maher, Michael 1959- oth Joint International Conference and Symposium on Logic Programming Bonn, Germany 1996 9780262631730 Print version Logic programming https://ieeexplore.ieee.org/book/6267515 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 Veranstaltungsjahr 1996 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1996 (DE-627)127149132X (DE-625)rvk/143433: (DE-576)20149132X BO 045F 005.131 22 01 0018 3848470551 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013012 olr-MIT i z 31-01-15 100 01 3100 4472464098 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 4011217344 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 3740750588 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267515 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/6267515 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267515 100 01 3100 https://ieeexplore.ieee.org/book/6267515 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267515 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/6267515 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267515 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 |
0262291304 electronic bk. 0-262-29130-4 0262631733 0-262-63173-3 9780262291309 : electronic bk. 978-0-262-29130-9 9780262631730 978-0-262-63173-0 (DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433: Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) aut Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass London MIT c1996 Online-Ressource (xix, 554 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming series Includes index September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Maher, Michael 1959- oth Joint International Conference and Symposium on Logic Programming Bonn, Germany 1996 9780262631730 Print version Logic programming https://ieeexplore.ieee.org/book/6267515 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 Veranstaltungsjahr 1996 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1996 (DE-627)127149132X (DE-625)rvk/143433: (DE-576)20149132X BO 045F 005.131 22 01 0018 3848470551 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013012 olr-MIT i z 31-01-15 100 01 3100 4472464098 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 4011217344 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 3740750588 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267515 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/6267515 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267515 100 01 3100 https://ieeexplore.ieee.org/book/6267515 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267515 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/6267515 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267515 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 |
0262291304 electronic bk. 0-262-29130-4 0262631733 0-262-63173-3 9780262291309 : electronic bk. 978-0-262-29130-9 9780262631730 978-0-262-63173-0 (DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433: Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) aut Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass London MIT c1996 Online-Ressource (xix, 554 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming series Includes index September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Maher, Michael 1959- oth Joint International Conference and Symposium on Logic Programming Bonn, Germany 1996 9780262631730 Print version Logic programming https://ieeexplore.ieee.org/book/6267515 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262631730.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 1996 Veranstaltungsjahr 1996 Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Kongressberichte Veranstaltungsjahr 1996 (DE-627)127149132X (DE-625)rvk/143433: (DE-576)20149132X BO 045F 005.131 22 01 0018 3848470551 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013012 olr-MIT i z 31-01-15 100 01 3100 4472464098 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 4011217344 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 3740750588 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267515 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/6267515 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267515 100 01 3100 https://ieeexplore.ieee.org/book/6267515 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267515 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/6267515 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267515 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.131 |
isfreeaccess_bool |
false |
authorswithroles_txt_mv |
Maher, Michael @@oth@@ |
publishDateDaySort_date |
1996-01-01T00:00:00Z |
dewey-sort |
15.131 |
id |
816667624 |
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 series |
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 London |
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.131 22 SS 1996 rvk (DE-625)rvk/143433 Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Logic programming Congresses Logic programming ; Congresses |
publisher |
MIT |
publisherStr |
MIT |
topic |
misc QA76.63 ddc 005.131 rvk SS 1996 misc Logic programming misc Logic programming ; Congresses |
spellingShingle |
misc QA76.63 ddc 005.131 rvk SS 1996 misc Logic programming misc Logic programming ; Congresses Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
topic_unstemmed |
misc QA76.63 ddc 005.131 rvk SS 1996 misc Logic programming misc Logic programming ; Congresses |
topic_browse |
misc QA76.63 ddc 005.131 rvk SS 1996 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 |
m m mm |
author_corporate |
Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) Joint International Conference and Symposium on Logic Programming |
signature |
eBook MIT Press --%%-- |
signature_str_mv |
eBook MIT Press --%%-- |
dewey-tens |
000 - Computer science, knowledge & systems |
isbn |
0262291304 9780262291309 0262631733 9780262631730 |
isfreeaccess_txt |
false |
title |
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
ctrlnum |
(DE-627)816667624 (DE-576)9816667622 (DE-599)GBV816667624 (OCoLC)827335566 (MITPRESS)6267515 (EBP)055120334 |
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 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher |
author_sort |
Joint International Conference and Symposium on Logic Programming (1996 :Bonn, Germany) |
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 |
1996 |
contenttype_str_mv |
txt |
selectkey |
22:z 23:z 100:z 370:z 2015:l |
physical |
Online-Ressource (xix, 554 p) ill |
class |
QA76.63 005.131 22 SS 1996 rvk (DE-625)rvk/143433 |
format_se |
Elektronische Bücher |
countryofpublication_str_mv |
XD-US |
title_sub |
proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
normlink |
RVK/143433: 127149132X 20149132X 2015.01.31 2021.12.01 |
normlink_prefix_str_mv |
(DE-625)rvk/143433: (DE-627)127149132X (DE-576)20149132X 2015.01.31 2021.12.01 |
dewey-full |
005.131 |
title_sort |
logic programmingproceedings of the 1996 joint international conference and symposium on logic programming |
callnumber |
QA76.63 |
title_auth |
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
abstract |
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Includes index |
abstractGer |
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Includes index |
abstract_unstemmed |
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes. Includes 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/6267515 http://www.gbv.de/dms/bowker/toc/9780262631730.pdf |
ausleihindikator_str_mv |
22 23 100:- 370 2015:p |
remote_bool |
true |
author2 |
Joint International Conference and Symposium on Logic Programming Maher, Michael 1959- |
author2Str |
Joint International Conference and Symposium on Logic Programming Maher, Michael 1959- |
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:37.223Z |
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">816667624</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172611.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1996 xxu|||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291304</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29130-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262631733</subfield><subfield code="9">0-262-63173-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291309</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29130-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262631730</subfield><subfield code="9">978-0-262-63173-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816667624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816667622</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816667624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827335566</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267515</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120334</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.131</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1996</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143433:</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">(1996 :Bonn, Germany)</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 1996 Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">edited by Michael Maher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="a">London</subfield><subfield code="b">MIT</subfield><subfield code="c">c1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xix, 554 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 series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes.</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">Maher, Michael</subfield><subfield code="d">1959-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2="9"><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">Bonn, Germany</subfield><subfield code="d">1996</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262631730</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/6267515</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/9780262631730.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 1996</subfield><subfield code="b">Veranstaltungsjahr 1996</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 1996</subfield><subfield code="0">(DE-627)127149132X</subfield><subfield code="0">(DE-625)rvk/143433:</subfield><subfield code="0">(DE-576)20149132X</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.131</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">3848470551</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">1521013012</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">4472464098</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">4011217344</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">3740750588</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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 The Association for Logic Programming Series Foreword Preface Referees Constraint Programming … Inferring Left-terminating Classes of Queries for Constraint Logic Programs … CLP [actual symbol not reproducible] Revised … Effectiveness of Optimizing Compilation for CLP [actual symbol not reproducible] … A Framework for Modal Logic Programming … A Linear Logic Calculus of Objects … Representing Priorities in Logic Programs … A Novel Implementation Method of Delay … A Thread in Time Saves Tabling Time … Interprocedural Register Allocation for the WAM based on Source to Source Transformations … Concurrency and Communication in Transaction Logic … An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases … A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification … A Declarative View of Modes … Type Synthesis for Logic Programs … Diagnosing Non-Well-Moded Concurrent Logic Programs … Declarative Logic Programming with Primitive Recursive Relations on Lists … Engineering Transformations of Attributed Grammars in 1Prolog … Unification via Explicit Substitutions: The Case of Higher-Order Patterns … An Abstract Machine for Computing the Well-Founded Semantics … Efficient Implementation of the Well-founded and Stable Model Semantics … Adding Flexibility to Query Evaluation for Modularly Stratified Databases … A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration … Demand Transformation Analysis for Concurrent Constraint Programs … Complementation of Abstract Domains Made Easy … Cumulative Scheduling with Task Intervals … Boosting the Interval Narrowing Algorithm … Completeness Results for Basic Narrowing in Non-Copying Implementations … Extremal Problems in Logic Programming and Stable Model Computation … Logic Programs with Contested Information … Asserting Lemmas in the Stable Model Semantics … A Compositional Semantics for Logic Programs and Deductive Databases … A Compositional Semantics for Normal Open Programs … A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs … Visualizing Parallel Logic Program Execution for Performance Tuning … Initial Results of the Parallel Implementation of DASWAM … Applications of Efficient Lazy Set Expression … Logic Programming Tools Applied to Fire Detection in Hard-coal Mines … Recognition of 3D Objects in Aerial Images Based on Generic Models … Tracing Prolog without a Tracer … PROCALOG - Programming with Constraints and Abducibles in Logic … Attempto Controlled English (ACE): A Seemingly Informal Bridgehead in Formal Territory … Optimizing Constraint-Intensive Problems Using Early Projection … Logic Programming and Databases Integrated at Last? … How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification … A Hypertext Based Environment to Write Literate Logic Programs … Probabilistic Disjunctive Deductive Databases … Dependent And-Parallelism Revisited … A General Framework for Integrating HCLP and PCSP … Specification of Complex Systems with Definite Clause Grammar … Resource Management Method for a Compiler System of Linear Logic Programming Language … On Merging Theorem Proving and Logic Programming Paradigms … Generating Rational Models … Colour Tagging for Prolog Visualization … GUPU: A Prolog Course Environment and Its Programming Methodology … Author Index … |
_version_ |
1805540704624050176 |
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">816667624</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172611.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1996 xxu|||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291304</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29130-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262631733</subfield><subfield code="9">0-262-63173-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291309</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29130-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262631730</subfield><subfield code="9">978-0-262-63173-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816667624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816667622</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816667624</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827335566</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267515</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120334</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.131</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1996</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/143433:</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">(1996 :Bonn, Germany)</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 1996 Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">edited by Michael Maher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="a">London</subfield><subfield code="b">MIT</subfield><subfield code="c">c1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xix, 554 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 series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes.</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">Maher, Michael</subfield><subfield code="d">1959-</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2="9"><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">Bonn, Germany</subfield><subfield code="d">1996</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262631730</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/6267515</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/9780262631730.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 1996</subfield><subfield code="b">Veranstaltungsjahr 1996</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 1996</subfield><subfield code="0">(DE-627)127149132X</subfield><subfield code="0">(DE-625)rvk/143433:</subfield><subfield code="0">(DE-576)20149132X</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.131</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">3848470551</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">1521013012</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">4472464098</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">4011217344</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">3740750588</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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/6267515</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.1672583 |