Meta-logics and logic programming:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
1995
|
| Series: | Logic programming
|
| Subjects: | |
| Physical Description: | XIV, 339 S. |
| ISBN: | 0262011522 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010573426 | ||
| 003 | DE-604 | ||
| 005 | 20050427 | ||
| 007 | t | ||
| 008 | 960118s1995 |||| 00||| eng d | ||
| 020 | |a 0262011522 |9 0-262-01152-2 | ||
| 035 | |a (OCoLC)832578165 | ||
| 035 | |a (DE-599)BVBBV010573426 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-739 |a DE-91 |a DE-91G | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Meta-logics and logic programming |c ed. by Krzysztof R. Apt ... |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1995 | |
| 300 | |a XIV, 339 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Metamathematica |2 gtt | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a métalogique |2 inriac | |
| 650 | 7 | |a métaprogrammation |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Apt, Krzysztof R. |d 1949- |e Sonstige |0 (DE-588)110139763 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007048339 | ||
Record in the Search Index
| _version_ | 1804125041924767744 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)110139763 |
| building | Verbundindex |
| bvnumber | BV010573426 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)832578165 (DE-599)BVBBV010573426 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01530nam a2200469 c 4500</leader><controlfield tag="001">BV010573426</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960118s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262011522</subfield><subfield code="9">0-262-01152-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832578165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010573426</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</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.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Meta-logics and logic programming</subfield><subfield code="c">ed. by Krzysztof R. Apt ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 339 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</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">Metamathematica</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">métalogique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métaprogrammation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007048339</subfield></datafield></record></collection> |
| id | DE-604.BV010573426 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:55:16Z |
| institution | BVB |
| isbn | 0262011522 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007048339 |
| oclc_num | 832578165 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM |
| physical | XIV, 339 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Meta-logics and logic programming ed. by Krzysztof R. Apt ... Cambridge, Mass. [u.a.] MIT Press 1995 XIV, 339 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Logique symbolique et mathématique ram Logisch programmeren gtt Metamathematica gtt Programmation logique ram métalogique inriac métaprogrammation inriac programmation en logique inriac représentation connaissance inriac Logic, Symbolic and mathematical Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s DE-604 Apt, Krzysztof R. 1949- Sonstige (DE-588)110139763 oth |
| spellingShingle | Meta-logics and logic programming Logique symbolique et mathématique ram Logisch programmeren gtt Metamathematica gtt Programmation logique ram métalogique inriac métaprogrammation inriac programmation en logique inriac représentation connaissance inriac Logic programming Logic, Symbolic and mathematical Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 |
| title | Meta-logics and logic programming |
| title_auth | Meta-logics and logic programming |
| title_exact_search | Meta-logics and logic programming |
| title_full | Meta-logics and logic programming ed. by Krzysztof R. Apt ... |
| title_fullStr | Meta-logics and logic programming ed. by Krzysztof R. Apt ... |
| title_full_unstemmed | Meta-logics and logic programming ed. by Krzysztof R. Apt ... |
| title_short | Meta-logics and logic programming |
| title_sort | meta logics and logic programming |
| topic | Logique symbolique et mathématique ram Logisch programmeren gtt Metamathematica gtt Programmation logique ram métalogique inriac métaprogrammation inriac programmation en logique inriac représentation connaissance inriac Logic programming Logic, Symbolic and mathematical Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logique symbolique et mathématique Logisch programmeren Metamathematica Programmation logique métalogique métaprogrammation programmation en logique représentation connaissance Logic programming Logic, Symbolic and mathematical Logische Programmierung |
| work_keys_str_mv | AT aptkrzysztofr metalogicsandlogicprogramming |