Logic programming: operational semantics and proof theory
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge u.a.
Cambridge Univ. Press
2004
|
| Edition: | 1. paperback ed. |
| Series: | Distinguished dissertations in computer science
|
| Subjects: | |
| Physical Description: | XI, 104 S. graph. Darst. |
| ISBN: | 0521432197 052160754x |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV020854046 | ||
| 003 | DE-604 | ||
| 005 | 20210212 | ||
| 007 | t | ||
| 008 | 051103s2004 d||| m||| 00||| eng d | ||
| 020 | |a 0521432197 |9 0-521-43219-7 | ||
| 020 | |a 052160754x |9 0-521-60754-x | ||
| 035 | |a (OCoLC)492496587 | ||
| 035 | |a (DE-599)BVBBV020854046 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-11 | ||
| 082 | 0 | |a 005.115 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Andrews, James H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic programming |b operational semantics and proof theory |c by James H. Andrews |
| 250 | |a 1. paperback ed. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 2004 | |
| 300 | |a XI, 104 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Distinguished dissertations in computer science | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a Théorèmes - Démonstration automatique |2 ram | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014175713 | ||
Record in the Search Index
| _version_ | 1804134569505456128 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Andrews, James H. |
| author_facet | Andrews, James H. |
| author_role | aut |
| author_sort | Andrews, James H. |
| author_variant | j h a jh jha |
| building | Verbundindex |
| bvnumber | BV020854046 |
| classification_rvk | ST 130 ST 230 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)492496587 (DE-599)BVBBV020854046 |
| dewey-full | 005.115 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.115 |
| dewey-search | 005.115 |
| dewey-sort | 15.115 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. paperback ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01582nam a2200457 c 4500</leader><controlfield tag="001">BV020854046</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210212 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051103s2004 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521432197</subfield><subfield code="9">0-521-43219-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052160754x</subfield><subfield code="9">0-521-60754-x</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)492496587</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020854046</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-573</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.115</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</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 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, James H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">operational semantics and proof theory</subfield><subfield code="c">by James H. Andrews</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. paperback ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 104 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="0" ind2=" "><subfield code="a">Distinguished dissertations in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</subfield><subfield code="2">ram</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">Théorèmes - Démonstration automatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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)4113937-9</subfield><subfield code="a">Hochschulschrift</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014175713</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV020854046 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:20:40Z |
| indexdate | 2024-07-09T20:26:42Z |
| institution | BVB |
| isbn | 0521432197 052160754x |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014175713 |
| oclc_num | 492496587 |
| open_access_boolean | |
| owner | DE-573 DE-11 |
| owner_facet | DE-573 DE-11 |
| physical | XI, 104 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | Distinguished dissertations in computer science |
| spelling | Andrews, James H. Verfasser aut Logic programming operational semantics and proof theory by James H. Andrews 1. paperback ed. Cambridge u.a. Cambridge Univ. Press 2004 XI, 104 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Distinguished dissertations in computer science Langages de programmation - Sémantique ram Programmation logique ram Théorèmes - Démonstration automatique ram Automatic theorem proving Logic programming Programming languages (Electronic computers) Semantics Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 |
| spellingShingle | Andrews, James H. Logic programming operational semantics and proof theory Langages de programmation - Sémantique ram Programmation logique ram Théorèmes - Démonstration automatique ram Automatic theorem proving Logic programming Programming languages (Electronic computers) Semantics Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4113937-9 |
| title | Logic programming operational semantics and proof theory |
| title_auth | Logic programming operational semantics and proof theory |
| title_exact_search | Logic programming operational semantics and proof theory |
| title_exact_search_txtP | Logic programming operational semantics and proof theory |
| title_full | Logic programming operational semantics and proof theory by James H. Andrews |
| title_fullStr | Logic programming operational semantics and proof theory by James H. Andrews |
| title_full_unstemmed | Logic programming operational semantics and proof theory by James H. Andrews |
| title_short | Logic programming |
| title_sort | logic programming operational semantics and proof theory |
| title_sub | operational semantics and proof theory |
| topic | Langages de programmation - Sémantique ram Programmation logique ram Théorèmes - Démonstration automatique ram Automatic theorem proving Logic programming Programming languages (Electronic computers) Semantics Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Langages de programmation - Sémantique Programmation logique Théorèmes - Démonstration automatique Automatic theorem proving Logic programming Programming languages (Electronic computers) Semantics Logische Programmierung Hochschulschrift |
| work_keys_str_mv | AT andrewsjamesh logicprogrammingoperationalsemanticsandprooftheory |