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

13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be give...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Sterling, Leon

Format:	E-Book
Sprache:	Englisch

Erschienen:	Cambridge, Mass: MIT ; c1995

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

Anmerkung:	Includes bibliographical references and index
Umfang:	Online-Ressource (xx, 834 p) ; ill

Reproduktion:	Online-Ausg.

Reihe:	Logic programming MIT Press series in logic programming Lecture notes in computer science

Links:	Link aufrufen IEEE Xplore Inhaltsverzeichnis
ISBN:	0-262-29143-6 0-262-69177-9 978-0-262-29143-9 978-0-262-69177-2

Katalog-ID:	816667659

Internformat


LEADER	01000cam a22002652 4500
001	816667659
003	DE-627
005	20231004172611.0
007	cr uuu---uuuuu
008	150128s1995 xxu\|\|\|\|\|o 00\| \|\|eng c
020			\|a 0262291436 \|c electronic bk. \|9 0-262-29143-6
020			\|a 0262691779 \|9 0-262-69177-9
020			\|a 9780262291439 \|c : electronic bk. \|9 978-0-262-29143-9
020			\|a 9780262691772 \|9 978-0-262-69177-2
035			\|a (DE-627)816667659
035			\|a (DE-576)9816667657
035			\|a (DE-599)GBV816667659
035			\|a (OCoLC)827335736
035			\|a (MITPRESS)6267523
035			\|a (EBP)055120415
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
082	0		\|a 005.1 \|2 20
245	1	0	\|a Logic programming \|b proceedings of the twelfth International Conference on Logic Programming \|c edited by Leon Sterling
264		1	\|a Cambridge, Mass \|b MIT \|c c1995
300			\|a Online-Ressource (xx, 834 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
490	0		\|a MIT Press series in logic programming
490	0		\|a Lecture notes in computer science
500			\|a Includes bibliographical references and index
520			\|a 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.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 Sterling, Leon \|4 oth
776	1		\|z 9780262691772
776	0	8	\|i Print version \|a Logic programming
856	4	0	\|u https://ieeexplore.ieee.org/book/6267523 \|m X:MITPRESS \|x Verlag \|y IEEE Xplore \|z lizenzpflichtig \|3 Volltext
856	4	2	\|u http://www.gbv.de/dms/bowker/toc/9780262691772.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
951			\|a BO
953			\|2 045F \|a 005.131
953			\|2 045F \|a 005.1
980			\|2 22 \|1 01 \|x 0018 \|b 3848470586 \|h olrm-h228-MITIEEE \|y zi22818 \|z 03-02-21
980			\|2 23 \|1 01 \|x 0830 \|b 1521013047 \|h olr-MIT \|u i \|y z \|z 31-01-15
980			\|2 100 \|1 01 \|x 3100 \|b 4472464136 \|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 4011217387 \|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 3740750502 \|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/6267523
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/6267523
981			\|2 23 \|1 01 \|x 0830 \|y MIT Press EBook \|r https://ieeexplore.ieee.org/book/6267523
981			\|2 100 \|1 01 \|x 3100 \|r https://ieeexplore.ieee.org/book/6267523
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/6267523
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/6267523
981			\|2 2015 \|1 01 \|x DE-93 \|r https://ieeexplore.ieee.org/book/6267523
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:9780262291439:1995----
oclc_num	827335736
hierarchy_sort_str	c1995
callnumber-subject-code	QA
publishDate	1995
allfields	0262291436 electronic bk. 0-262-29143-6 0262691779 0-262-69177-9 9780262291439 : electronic bk. 978-0-262-29143-9 9780262691772 978-0-262-69177-2 (DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Cambridge, Mass MIT c1995 Online-Ressource (xx, 834 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming MIT Press series in logic programming Lecture notes in computer science Includes bibliographical references and index 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Sterling, Leon oth 9780262691772 Print version Logic programming https://ieeexplore.ieee.org/book/6267523 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262691772.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 BO 045F 005.131 045F 005.1 22 01 0018 3848470586 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013047 olr-MIT i z 31-01-15 100 01 3100 4472464136 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 4011217387 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 3740750502 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267523 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/6267523 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267523 100 01 3100 https://ieeexplore.ieee.org/book/6267523 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267523 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/6267523 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267523 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	0262291436 electronic bk. 0-262-29143-6 0262691779 0-262-69177-9 9780262291439 : electronic bk. 978-0-262-29143-9 9780262691772 978-0-262-69177-2 (DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Cambridge, Mass MIT c1995 Online-Ressource (xx, 834 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming MIT Press series in logic programming Lecture notes in computer science Includes bibliographical references and index 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Sterling, Leon oth 9780262691772 Print version Logic programming https://ieeexplore.ieee.org/book/6267523 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262691772.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 BO 045F 005.131 045F 005.1 22 01 0018 3848470586 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013047 olr-MIT i z 31-01-15 100 01 3100 4472464136 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 4011217387 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 3740750502 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267523 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/6267523 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267523 100 01 3100 https://ieeexplore.ieee.org/book/6267523 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267523 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/6267523 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267523 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	0262291436 electronic bk. 0-262-29143-6 0262691779 0-262-69177-9 9780262291439 : electronic bk. 978-0-262-29143-9 9780262691772 978-0-262-69177-2 (DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Cambridge, Mass MIT c1995 Online-Ressource (xx, 834 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming MIT Press series in logic programming Lecture notes in computer science Includes bibliographical references and index 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Sterling, Leon oth 9780262691772 Print version Logic programming https://ieeexplore.ieee.org/book/6267523 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262691772.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 BO 045F 005.131 045F 005.1 22 01 0018 3848470586 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013047 olr-MIT i z 31-01-15 100 01 3100 4472464136 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 4011217387 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 3740750502 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267523 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/6267523 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267523 100 01 3100 https://ieeexplore.ieee.org/book/6267523 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267523 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/6267523 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267523 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	0262291436 electronic bk. 0-262-29143-6 0262691779 0-262-69177-9 9780262291439 : electronic bk. 978-0-262-29143-9 9780262691772 978-0-262-69177-2 (DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Cambridge, Mass MIT c1995 Online-Ressource (xx, 834 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming MIT Press series in logic programming Lecture notes in computer science Includes bibliographical references and index 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Sterling, Leon oth 9780262691772 Print version Logic programming https://ieeexplore.ieee.org/book/6267523 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262691772.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 BO 045F 005.131 045F 005.1 22 01 0018 3848470586 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013047 olr-MIT i z 31-01-15 100 01 3100 4472464136 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 4011217387 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 3740750502 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267523 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/6267523 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267523 100 01 3100 https://ieeexplore.ieee.org/book/6267523 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267523 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/6267523 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267523 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	0262291436 electronic bk. 0-262-29143-6 0262691779 0-262-69177-9 9780262291439 : electronic bk. 978-0-262-29143-9 9780262691772 978-0-262-69177-2 (DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415 DE-627 ger DE-627 rakwb eng XD-US QA76.63 005.131 22 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Cambridge, Mass MIT c1995 Online-Ressource (xx, 834 p) ill Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Logic programming MIT Press series in logic programming Lecture notes in computer science Includes bibliographical references and index 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Online-Ausg. Logic programming Congresses Logic programming ; Congresses Sterling, Leon oth 9780262691772 Print version Logic programming https://ieeexplore.ieee.org/book/6267523 X:MITPRESS Verlag IEEE Xplore lizenzpflichtig Volltext http://www.gbv.de/dms/bowker/toc/9780262691772.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 BO 045F 005.131 045F 005.1 22 01 0018 3848470586 olrm-h228-MITIEEE zi22818 03-02-21 23 01 0830 1521013047 olr-MIT i z 31-01-15 100 01 3100 4472464136 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 4011217387 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 3740750502 00 --%%-- --%%-- p --%%-- Campuslizenz l01 18-08-20 22 01 0018 Volltextzugang Campus https://ieeexplore.ieee.org/book/6267523 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/6267523 23 01 0830 MIT Press EBook https://ieeexplore.ieee.org/book/6267523 100 01 3100 https://ieeexplore.ieee.org/book/6267523 100 01 3100 für Uniangehörige: Zugang weltweit http://han.med.uni-magdeburg.de/han/mitvia-ieee/ieeexplore.ieee.org/book/6267523 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/6267523 2015 01 DE-93 https://ieeexplore.ieee.org/book/6267523 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	Sterling, Leon @@oth@@
publishDateDaySort_date	1995-01-01T00:00:00Z
dewey-sort	15.131
id	816667659
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 MIT Press series in logic programming Lecture notes in computer science
standort_iln_str_mv	100:--%%-- 3100:--%%-- 2015:--%%-- DE-93:--%%--
format	eBook
dewey-ones	005 - Computer programming, programs & data
delete_txt_mv	keep
collection	KXP GVK SWB
publishPlace	Cambridge, Mass
remote_str	true
abrufzeichen_iln_str_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee
abrufzeichen_iln_scis_mv	22@olrm-h228-MITIEEE 23@olr-MIT 100@OLR-MIT-CEC 370@olr-ebook mitieee
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 005.1 20 Logic programming proceedings of the twelfth International Conference on Logic Programming edited by Leon Sterling Logic programming Congresses Logic programming ; Congresses
publisher	MIT
publisherStr	MIT
topic	misc QA76.63 ddc 005.131 ddc 005.1 misc Logic programming misc Logic programming ; Congresses
spellingShingle	misc QA76.63 ddc 005.131 ddc 005.1 misc Logic programming misc Logic programming ; Congresses Logic programming proceedings of the twelfth International Conference on Logic Programming
topic_unstemmed	misc QA76.63 ddc 005.131 ddc 005.1 misc Logic programming misc Logic programming ; Congresses
topic_browse	misc QA76.63 ddc 005.131 ddc 005.1 misc Logic programming misc Logic programming ; Congresses
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	--%%--
format_main_str_mv	Text Buch
carriertype_str_mv	cr
author2_variant	l s ls
signature	eBook MIT Press --%%--
signature_str_mv	eBook MIT Press --%%--
dewey-tens	000 - Computer science, knowledge & systems
isbn	0262291436 9780262291439 0262691779 9780262691772
isfreeaccess_txt	false
title	Logic programming proceedings of the twelfth International Conference on Logic Programming
ctrlnum	(DE-627)816667659 (DE-576)9816667657 (DE-599)GBV816667659 (OCoLC)827335736 (MITPRESS)6267523 (EBP)055120415
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 twelfth International Conference on Logic Programming edited by Leon Sterling
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	1995
contenttype_str_mv	txt
selectkey	22:z 23:z 100:z 370:z 2015:l
physical	Online-Ressource (xx, 834 p) ill
class	QA76.63 005.131 22 005.1 20
format_se	Elektronische Bücher
countryofpublication_str_mv	XD-US
title_sub	proceedings of the twelfth International Conference on Logic Programming
normlink	2015.01.31 2021.12.01
normlink_prefix_str_mv	2015.01.31 2021.12.01
dewey-full	005.131 005.1
title_sort	logic programmingproceedings of the twelfth international conference on logic programming
callnumber	QA76.63
title_auth	Logic programming proceedings of the twelfth International Conference on Logic Programming
abstract	13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Includes bibliographical references and index
abstractGer	13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Includes bibliographical references and index
abstract_unstemmed	13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. Includes bibliographical references and index
collection_details	ZDB-37-IEM GBV_ILN_22 ISIL_DE-18 SYSFLAG_1 GBV_KXP GBV_ILN_22_i22818 GBV_ILN_23 ISIL_DE-830 GBV_ILN_100 ISIL_DE-Ma9 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_2015 ISIL_DE-93
title_short	Logic programming
url	https://ieeexplore.ieee.org/book/6267523 http://www.gbv.de/dms/bowker/toc/9780262691772.pdf
ausleihindikator_str_mv	22 23 100:- 370 2015:p
remote_bool	true
author2	Sterling, Leon
author2Str	Sterling, Leon
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.955Z
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">816667659</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172611.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1995 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291436</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29143-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262691779</subfield><subfield code="9">0-262-69177-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291439</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29143-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262691772</subfield><subfield code="9">978-0-262-69177-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816667659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816667657</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816667659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827335736</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120415</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="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the twelfth International Conference on Logic Programming</subfield><subfield code="c">edited by Leon Sterling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT</subfield><subfield code="c">c1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xx, 834 p)</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">MIT Press series in logic programming</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.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">Sterling, Leon</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262691772</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/6267523</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/9780262691772.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="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="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">005.1</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">3848470586</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">1521013047</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">4472464136</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">4011217387</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">3740750502</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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 ToonTalk - Concurrent Constraint Programming for Kids … Model Generation Theorem Provers and Their Applications … Applications of Constraint Logic Programming … Oz: Concurrent Constraint Programming for Real … Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method … Linear Equation Solving for Constraint Logic Programming … A Generic Algorithm for CLP Analysis … Variants of the Event Calculus … Combining Situation Calculus and Event Calculus … Efficient Implementation of the Event Calculus for Temporal Database Applications … Compiling and Executing Disjunctions of Finite Domain Constraints … Finite Domain and Cutting Plane Techniques in CLP (PB) … A Reactive Constraint Logic Programming Scheme … On Coherence Approach to Logic Program Revision … Dynamic Deductive Data Bases With Steady Behaviour … Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation … A Logic Programming Approach to Channel Routing … Relating Stable Models and AI Planning Domains … Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP … Experimenting with Nonmonotonic Reasoning … Computing Prioritized Circumscription by Logic Programming … A Modal Calculus of Partially Ordered Events in a Logic Programming Framework … WAMCC: Compiling Prolog to C … Incremental Global Compilation of Prolog with the Vienna Abstract Machine … Efficient Execution of HiLog in WAM-based Prolog Implementations … Reduction of Abductive Logic Programs to Normal Logic Programs … The Effect of Partial Deduction in Abductive Reasoning … Integrating Abductive and Constraint Logic Programming … NMCC Programming: Constraint Enforcement and Retraction in CC Programming … A Decision Graph Algorithm for CCP Languages … Operational Semantics of Constraint Logic Programs with Coroutining … Representing Logic Program Schemata in [lambda]-Prolog … Projections of Logic Programs Using Symbol Mappings … A Method for Implementing Equational Theories As Logic Programs … Tempo: A Declarative Concurrent Programming Language … On Composing Concurrent Logic Processes … Modeling OR-Parallel Execution of Prolog Using CHOCS … A New Procedural Interpretation of Horn Clauses with Equality … SLDNF, Constructive Negation and Grounding … Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance … Determinacy Driven Optimization of And-Parallel Prolog Implementations … Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems … Efficient Term Size Computation for Granularity Control … On Extra Variables in (Equational) Logic Programming … A Transformation System for Modular CLP Programs … Efficient Tabling Mechanisms for Logic Programs … A Statistical Learning Method for Logic Programs with Distribution Semantics … Preference Logic Programming … Two Aspects of Directional Types … Type Inferencing for Polymorphic Order-Sorted Logic Programs … On the Practicality of Abstract Equation Systems … Incremental Analysis of Logic Programs … Shallow Backtracking Points in an Intelligent Backtracking Schema … Hybrid Implementation Techniques in Erlang BEAM … Abduction with Clark Completion … Proving Correctness of Translation from Moded Flat GHC to [pi]-Calculus … A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas … Making Query Processing Goal-Directed in Disjunctive Logic Databases … Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language … Transformation of Transaction Logic Programs Based on Estimation of Transaction Execution Paths … Type Synthesis for Logic Programs … Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming … Program Dependence Analysis of Concurrent Logic Programs and Its Applications … Situated Simplification … Constructing Logic Programs with Higher-Order Predicates … An Analyzer for a Concurrent Constraint Language … Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming … Semantial Properties of SLD-Resolution with Reflection … Author Index …
_version_	1805540705389510656
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">816667659</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231004172611.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">150128s1995 xxu\|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291436</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29143-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262691779</subfield><subfield code="9">0-262-69177-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291439</subfield><subfield code="c">: electronic bk.</subfield><subfield code="9">978-0-262-29143-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262691772</subfield><subfield code="9">978-0-262-69177-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)816667659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)9816667657</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV816667659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827335736</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MITPRESS)6267523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)055120415</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="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the twelfth International Conference on Logic Programming</subfield><subfield code="c">edited by Leon Sterling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT</subfield><subfield code="c">c1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (xx, 834 p)</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">MIT Press series in logic programming</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.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">Sterling, Leon</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780262691772</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/6267523</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/9780262691772.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="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="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">005.1</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">3848470586</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">1521013047</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">4472464136</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">4011217387</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">3740750502</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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/6267523</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.16928

Nicht das Richtige dabei?

Schreiben Sie uns!

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

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?