Logic programming: proceedings of the Tenth International Conference on Logic Programming
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | Tagungsbericht E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
©1993
|
| Schriftenreihe: | Logic programming
|
| Links: | https://doi.org/10.7551/mitpress/4305.001.0001?locatt=mode:legacy |
| Abstract: | "The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques." |
| Beschreibung: | "Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface. |
| Umfang: | 1 Online-Ressource (xx, 854 Seiten) Illustrationen |
| ISBN: | 0262291460 9780262291460 |
Internformat
MARC
| LEADER | 00000cam a2200000Ka 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-4305 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073411.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130212s1993 maua ob 101 0 eng d | ||
| 020 | |a 0262291460 | ||
| 020 | |a 9780262291460 | ||
| 111 | 2 | |a International Conference on Logic Programming |n (10th : |d 1993 : |c Budapest, Hungary) | |
| 245 | 1 | 0 | |a Logic programming |b proceedings of the Tenth International Conference on Logic Programming |c edited by David S. Warren |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c ©1993 | |
| 300 | |a 1 Online-Ressource (xx, 854 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Logic programming | |
| 500 | |a "Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface. | ||
| 520 | 3 | |a "The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques." | |
| 700 | 1 | |a Warren, David S. | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262731053 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262731058 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/4305.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-4305 |
|---|---|
| _version_ | 1821493840020766720 |
| adam_text | |
| any_adam_object | |
| author2 | Warren, David S. |
| author2_role | |
| author2_variant | d s w ds dsw |
| author_corporate | International Conference on Logic Programming Budapest, Hungary |
| author_corporate_role | |
| author_facet | Warren, David S. International Conference on Logic Programming Budapest, Hungary |
| author_sort | International Conference on Logic Programming Budapest, Hungary |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02225cam a2200301Ka 4500</leader><controlfield tag="001">ZDB-260-MPOB-4305</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073411.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130212s1993 maua ob 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291460</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291460</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">(10th :</subfield><subfield code="d">1993 :</subfield><subfield code="c">Budapest, Hungary)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the Tenth International Conference on Logic Programming</subfield><subfield code="c">edited by David S. Warren</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">©1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 854 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques."</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Warren, David S.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262731053</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262731058</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/4305.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-4305 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:52Z |
| institution | BVB |
| isbn | 0262291460 9780262291460 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xx, 854 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Logic programming proceedings of the Tenth International Conference on Logic Programming edited by David S. Warren Cambridge, Mass. MIT Press ©1993 1 Online-Ressource (xx, 854 Seiten) Illustrationen txt c cr Logic programming "Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface. "The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook. Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques." Warren, David S. Erscheint auch als Druck-Ausgabe 0262731053 Erscheint auch als Druck-Ausgabe 9780262731058 |
| spellingShingle | Logic programming proceedings of the Tenth International Conference on Logic Programming |
| title | Logic programming proceedings of the Tenth International Conference on Logic Programming |
| title_auth | Logic programming proceedings of the Tenth International Conference on Logic Programming |
| title_exact_search | Logic programming proceedings of the Tenth International Conference on Logic Programming |
| title_full | Logic programming proceedings of the Tenth International Conference on Logic Programming edited by David S. Warren |
| title_fullStr | Logic programming proceedings of the Tenth International Conference on Logic Programming edited by David S. Warren |
| title_full_unstemmed | Logic programming proceedings of the Tenth International Conference on Logic Programming edited by David S. Warren |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the tenth international conference on logic programming |
| title_sub | proceedings of the Tenth International Conference on Logic Programming |
| work_keys_str_mv | AT internationalconferenceonlogicprogrammingbudapesthungary logicprogrammingproceedingsofthetenthinternationalconferenceonlogicprogramming AT warrendavids logicprogrammingproceedingsofthetenthinternationalconferenceonlogicprogramming |