From logic to logic programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
c1994
|
| Schriftenreihe: | Foundations of computing
|
| Schlagworte: | |
| Online-Zugang: | FHA01 FHI01 Volltext |
| Beschreibung: | Includes bibliographical references (p. [197]-199) and index |
| Beschreibung: | 1 Online-Ressource (xii, 214 p.) |
| ISBN: | 0262041421 0262288478 9780262041423 9780262288477 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509140 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 0262041421 |9 0-262-04142-1 | ||
| 020 | |a 0262288478 |c electronic bk. |9 0-262-28847-8 | ||
| 020 | |a 9780262041423 |9 978-0-262-04142-3 | ||
| 020 | |a 9780262288477 |c electronic bk. |9 978-0-262-28847-7 | ||
| 035 | |a (OCoLC)827013098 | ||
| 035 | |a (DE-599)BVBBV042509140 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 005.1 |2 22 | |
| 100 | 1 | |a Doets, Kees |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a From logic to logic programming |c Kees Doets |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c c1994 | |
| 300 | |a 1 Online-Ressource (xii, 214 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Foundations of computing | |
| 500 | |a Includes bibliographical references (p. [197]-199) and index | ||
| 650 | 4 | |a négation | |
| 650 | 4 | |a calculabilité | |
| 650 | 4 | |a dérivation | |
| 650 | 4 | |a résolution linéaire | |
| 650 | 4 | |a théorie définissabilité | |
| 650 | 4 | |a logique 1er ordre | |
| 650 | 4 | |a calcul propositionnel | |
| 650 | 4 | |a programmation en logique | |
| 650 | 4 | |a logique | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Resolventenprinzip |2 swd | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Resolventenprinzip |0 (DE-588)4663305-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Resolventenprinzip |0 (DE-588)4663305-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943704 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804153253371314176 |
|---|---|
| any_adam_object | |
| author | Doets, Kees |
| author_facet | Doets, Kees |
| author_role | aut |
| author_sort | Doets, Kees |
| author_variant | k d kd |
| building | Verbundindex |
| bvnumber | BV042509140 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827013098 (DE-599)BVBBV042509140 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02247nmm a2200625zc 4500</leader><controlfield tag="001">BV042509140</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262041421</subfield><subfield code="9">0-262-04142-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262288478</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-28847-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262041423</subfield><subfield code="9">978-0-262-04142-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262288477</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-28847-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827013098</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509140</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Doets, Kees</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From logic to logic programming</subfield><subfield code="c">Kees Doets</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 214 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Foundations of computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [197]-199) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">négation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">calculabilité</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">dérivation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">résolution linéaire</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">théorie définissabilité</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique 1er ordre</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">calcul propositionnel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation en logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Resolventenprinzip</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Resolventenprinzip</subfield><subfield code="0">(DE-588)4663305-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Resolventenprinzip</subfield><subfield code="0">(DE-588)4663305-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943704</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042509140 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262041421 0262288478 9780262041423 9780262288477 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943704 |
| oclc_num | 827013098 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (xii, 214 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing |
| spelling | Doets, Kees Verfasser aut From logic to logic programming Kees Doets Cambridge, Mass. MIT Press c1994 1 Online-Ressource (xii, 214 p.) txt rdacontent c rdamedia cr rdacarrier Foundations of computing Includes bibliographical references (p. [197]-199) and index négation calculabilité dérivation résolution linéaire théorie définissabilité logique 1er ordre calcul propositionnel programmation en logique logique Programmation logique Wiskundige logica gtt Logisch programmeren gtt Programmation logique ram Resolventenprinzip swd Logic programming fast Logic programming Resolventenprinzip (DE-588)4663305-4 gnd rswk-swf Resolventenprinzip (DE-588)4663305-4 s 1\p DE-604 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Doets, Kees From logic to logic programming négation calculabilité dérivation résolution linéaire théorie définissabilité logique 1er ordre calcul propositionnel programmation en logique logique Programmation logique Wiskundige logica gtt Logisch programmeren gtt Programmation logique ram Resolventenprinzip swd Logic programming fast Logic programming Resolventenprinzip (DE-588)4663305-4 gnd |
| subject_GND | (DE-588)4663305-4 |
| title | From logic to logic programming |
| title_auth | From logic to logic programming |
| title_exact_search | From logic to logic programming |
| title_full | From logic to logic programming Kees Doets |
| title_fullStr | From logic to logic programming Kees Doets |
| title_full_unstemmed | From logic to logic programming Kees Doets |
| title_short | From logic to logic programming |
| title_sort | from logic to logic programming |
| topic | négation calculabilité dérivation résolution linéaire théorie définissabilité logique 1er ordre calcul propositionnel programmation en logique logique Programmation logique Wiskundige logica gtt Logisch programmeren gtt Programmation logique ram Resolventenprinzip swd Logic programming fast Logic programming Resolventenprinzip (DE-588)4663305-4 gnd |
| topic_facet | négation calculabilité dérivation résolution linéaire théorie définissabilité logique 1er ordre calcul propositionnel programmation en logique logique Programmation logique Wiskundige logica Logisch programmeren Resolventenprinzip Logic programming |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470 |
| work_keys_str_mv | AT doetskees fromlogictologicprogramming |