Logic programming: formal methods and practical applications
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier
1995
|
| Series: | Studies in computer science and artificial intelligence
11 |
| Subjects: | |
| Physical Description: | XIV, 404 S. graph. Darst. |
| ISBN: | 0444820922 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010215075 | ||
| 003 | DE-604 | ||
| 005 | 20130211 | ||
| 007 | t| | ||
| 008 | 950608s1995 xx d||| |||| 00||| eng d | ||
| 020 | |a 0444820922 |9 0-444-82092-2 | ||
| 035 | |a (OCoLC)611681774 | ||
| 035 | |a (DE-599)BVBBV010215075 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.1/1 |2 20 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b formal methods and practical applications |c ed. by Christoph Beierle ... |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 1995 | |
| 300 | |a XIV, 404 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in computer science and artificial intelligence |v 11 | |
| 650 | 7 | |a Formele logica |2 gtt | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Programmeren (computers) |2 gtt | |
| 650 | 7 | |a contrainte |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation orientée objet |2 inriac | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Beierle, Christoph |d 1954- |e Sonstige |0 (DE-588)136616674 |4 oth | |
| 830 | 0 | |a Studies in computer science and artificial intelligence |v 11 |w (DE-604)BV000021192 |9 11 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006788090 | |
Record in the Search Index
| _version_ | 1828375206750584832 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)136616674 |
| building | Verbundindex |
| bvnumber | BV010215075 |
| 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 136 ST 230 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)611681774 (DE-599)BVBBV010215075 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010215075</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950608s1995 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444820922</subfield><subfield code="9">0-444-82092-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611681774</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010215075</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</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.1/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</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">Logic programming</subfield><subfield code="b">formal methods and practical applications</subfield><subfield code="c">ed. by Christoph Beierle ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 404 S.</subfield><subfield code="b">graph. Darst.</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="1" ind2=" "><subfield code="a">Studies in computer science and artificial intelligence</subfield><subfield code="v">11</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</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">Programmeren (computers)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrainte</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">programmation orientée objet</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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">Beierle, Christoph</subfield><subfield code="d">1954-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136616674</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computer science and artificial intelligence</subfield><subfield code="v">11</subfield><subfield code="w">(DE-604)BV000021192</subfield><subfield code="9">11</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006788090</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010215075 |
| illustrated | Illustrated |
| indexdate | 2025-04-03T10:01:15Z |
| institution | BVB |
| isbn | 0444820922 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006788090 |
| oclc_num | 611681774 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-11 |
| physical | XIV, 404 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in computer science and artificial intelligence |
| series2 | Studies in computer science and artificial intelligence |
| spelling | Logic programming formal methods and practical applications ed. by Christoph Beierle ... Amsterdam [u.a.] Elsevier 1995 XIV, 404 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in computer science and artificial intelligence 11 Formele logica gtt Méthodes formelles (Informatique) PROLOG inriac Programacao de computadores larpcal Programmation logique Programmation logique ram Programmeren (computers) gtt contrainte inriac programmation en logique inriac programmation orientée objet inriac Formal methods (Computer science) Logic programming Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Beierle, Christoph 1954- Sonstige (DE-588)136616674 oth Studies in computer science and artificial intelligence 11 (DE-604)BV000021192 11 |
| spellingShingle | Logic programming formal methods and practical applications Studies in computer science and artificial intelligence Formele logica gtt Méthodes formelles (Informatique) PROLOG inriac Programacao de computadores larpcal Programmation logique Programmation logique ram Programmeren (computers) gtt contrainte inriac programmation en logique inriac programmation orientée objet inriac Formal methods (Computer science) Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4143413-4 |
| title | Logic programming formal methods and practical applications |
| title_auth | Logic programming formal methods and practical applications |
| title_exact_search | Logic programming formal methods and practical applications |
| title_full | Logic programming formal methods and practical applications ed. by Christoph Beierle ... |
| title_fullStr | Logic programming formal methods and practical applications ed. by Christoph Beierle ... |
| title_full_unstemmed | Logic programming formal methods and practical applications ed. by Christoph Beierle ... |
| title_short | Logic programming |
| title_sort | logic programming formal methods and practical applications |
| title_sub | formal methods and practical applications |
| topic | Formele logica gtt Méthodes formelles (Informatique) PROLOG inriac Programacao de computadores larpcal Programmation logique Programmation logique ram Programmeren (computers) gtt contrainte inriac programmation en logique inriac programmation orientée objet inriac Formal methods (Computer science) Logic programming Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Formele logica Méthodes formelles (Informatique) PROLOG Programacao de computadores Programmation logique Programmeren (computers) contrainte programmation en logique programmation orientée objet Formal methods (Computer science) Logic programming Logische Programmierung Aufsatzsammlung |
| volume_link | (DE-604)BV000021192 |
| work_keys_str_mv | AT beierlechristoph logicprogrammingformalmethodsandpracticalapplications |