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

Gespeichert in:

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:	Logic programming, Congresses Logic programming ; Congresses

Systematik:	SS 1996

Anmerkung:	Includes index
Umfang:	Online-Ressource (xix, 554 p) ; ill

Reproduktion:	Online-Ausg.

Reihe:	Logic programming series

Links:	Link aufrufen IEEE Xplore Inhaltsverzeichnis
ISBN:	0-262-29130-4 0-262-63173-3 978-0-262-29130-9 978-0-262-63173-0

Katalog-ID:	816667624

Internformat


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

Indexfelder

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

Nicht das Richtige dabei?

Schreiben Sie uns!

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?