Logic programming: operational semantics and proof theory
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Distinguished dissertations in computer science
|
| Schlagworte: | |
| Beschreibung: | VII, 104 S. graph. Darst. |
| ISBN: | 0521432197 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008047642 | ||
| 003 | DE-604 | ||
| 005 | 20220928 | ||
| 007 | t | ||
| 008 | 930720s1992 d||| m||| 00||| eng d | ||
| 020 | |a 0521432197 |9 0-521-43219-7 | ||
| 035 | |a (OCoLC)29027093 | ||
| 035 | |a (DE-599)BVBBV008047642 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ES 965 |0 (DE-625)27939: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |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. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1992 | |
| 300 | |a VII, 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 | |
| 502 | |a Zugl.: Diss. | ||
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Langages de programmation - Sémantique | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a Programmation logique |2 ram | |
| 650 | 7 | |a SOS |2 inriac | |
| 650 | 7 | |a Théorèmes - Démonstration automatique |2 ram | |
| 650 | 7 | |a extension langage |2 inriac | |
| 650 | 7 | |a incomplétude |2 inriac | |
| 650 | 7 | |a logique programme |2 inriac | |
| 650 | 7 | |a machine abstraite |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a sémantique opérationnelle |2 inriac | |
| 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-005295200 | ||
Datensatz im Suchindex
| _version_ | 1804122412674973697 |
|---|---|
| any_adam_object | |
| 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 | BV008047642 |
| 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 140 ES 965 ST 130 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)29027093 (DE-599)BVBBV008047642 |
| 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 Sprachwissenschaft Literaturwissenschaft |
| edition | 1. publ. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02160nam a2200625 c 4500</leader><controlfield tag="001">BV008047642</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220928 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930720s1992 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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29027093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008047642</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-188</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.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 965</subfield><subfield code="0">(DE-625)27939:</subfield><subfield code="2">rvk</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">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. publ.</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">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique</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="4"><subfield code="a">Preuve, Théorie de la</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">SOS</subfield><subfield code="2">inriac</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="7"><subfield code="a">extension langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">incomplétude</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">machine abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique opérationnelle</subfield><subfield code="2">inriac</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-005295200</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV008047642 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:13:28Z |
| institution | BVB |
| isbn | 0521432197 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005295200 |
| oclc_num | 29027093 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-188 DE-11 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-188 DE-11 |
| physical | VII, 104 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| 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. publ. Cambridge u.a. Cambridge Univ. Press 1992 VII, 104 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Distinguished dissertations in computer science Zugl.: Diss. Logic programming Langages de programmation - Sémantique Langages de programmation - Sémantique ram Preuve, Théorie de la Programmation logique Programmation logique ram SOS inriac Théorèmes - Démonstration automatique ram extension langage inriac incomplétude inriac logique programme inriac machine abstraite inriac sémantique langage programmation inriac sémantique opérationnelle inriac Automatic theorem proving 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 Logic programming Langages de programmation - Sémantique Langages de programmation - Sémantique ram Preuve, Théorie de la Programmation logique Programmation logique ram SOS inriac Théorèmes - Démonstration automatique ram extension langage inriac incomplétude inriac logique programme inriac machine abstraite inriac sémantique langage programmation inriac sémantique opérationnelle inriac Automatic theorem proving 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_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 | Logic programming Langages de programmation - Sémantique Langages de programmation - Sémantique ram Preuve, Théorie de la Programmation logique Programmation logique ram SOS inriac Théorèmes - Démonstration automatique ram extension langage inriac incomplétude inriac logique programme inriac machine abstraite inriac sémantique langage programmation inriac sémantique opérationnelle inriac Automatic theorem proving Programming languages (Electronic computers) Semantics Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logic programming Langages de programmation - Sémantique Preuve, Théorie de la Programmation logique SOS Théorèmes - Démonstration automatique extension langage incomplétude logique programme machine abstraite sémantique langage programmation sémantique opérationnelle Automatic theorem proving Programming languages (Electronic computers) Semantics Logische Programmierung Hochschulschrift |
| work_keys_str_mv | AT andrewsjamesh logicprogrammingoperationalsemanticsandprooftheory |