Tutorial notes: reaoning about logic programs:
Abstract: "These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the CompuLog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming an...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
602 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the CompuLog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming and proving termination of logic programs." |
| Beschreibung: | 23 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010460608 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951102s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31223368 | ||
| 035 | |a (DE-599)BVBBV010460608 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Bundy, Alan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Tutorial notes: reaoning about logic programs |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 23 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 602 | |
| 520 | 3 | |a Abstract: "These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the CompuLog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming and proving termination of logic programs." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Logic programming | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 602 |w (DE-604)BV010450646 |9 602 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006969416 | ||
Datensatz im Suchindex
| _version_ | 1804124891849424896 |
|---|---|
| any_adam_object | |
| author | Bundy, Alan |
| author_facet | Bundy, Alan |
| author_role | aut |
| author_sort | Bundy, Alan |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV010460608 |
| ctrlnum | (OCoLC)31223368 (DE-599)BVBBV010460608 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01280nam a2200301 cb4500</leader><controlfield tag="001">BV010460608</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951102s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31223368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010460608</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></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bundy, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tutorial notes: reaoning about logic programs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">23 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="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">602</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the CompuLog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming and proving termination of logic programs."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">602</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">602</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006969416</subfield></datafield></record></collection> |
| id | DE-604.BV010460608 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006969416 |
| oclc_num | 31223368 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 23 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Bundy, Alan Verfasser aut Tutorial notes: reaoning about logic programs Edinburgh 1992 23 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 602 Abstract: "These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the CompuLog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming and proving termination of logic programs." Computer software sigle Logic programming Department of Artificial Intelligence: DAI research paper University <Edinburgh> 602 (DE-604)BV010450646 602 |
| spellingShingle | Bundy, Alan Tutorial notes: reaoning about logic programs Computer software sigle Logic programming |
| title | Tutorial notes: reaoning about logic programs |
| title_auth | Tutorial notes: reaoning about logic programs |
| title_exact_search | Tutorial notes: reaoning about logic programs |
| title_full | Tutorial notes: reaoning about logic programs |
| title_fullStr | Tutorial notes: reaoning about logic programs |
| title_full_unstemmed | Tutorial notes: reaoning about logic programs |
| title_short | Tutorial notes: reaoning about logic programs |
| title_sort | tutorial notes reaoning about logic programs |
| topic | Computer software sigle Logic programming |
| topic_facet | Computer software Logic programming |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT bundyalan tutorialnotesreaoningaboutlogicprograms |