Integrating model theoretic and proof theoretic interpretation of logic programs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart
IBM Deutschland, WT LILOG
1988
|
| Schriftenreihe: | LILOG-Report
36 : EUREKA project PROTOS |
| Beschreibung: | Literaturverz. S. 23 - 25 |
| Beschreibung: | 25 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV003675182 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 900803s1988 gw d||| |||| 00||| ger d | ||
| 035 | |a (OCoLC)46130685 | ||
| 035 | |a (DE-599)BVBBV003675182 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 100 | 1 | |a Pletat, Udo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Integrating model theoretic and proof theoretic interpretation of logic programs |c Udo Pletat. LILOG, IBM Deutschland GmbH |
| 264 | 1 | |a Stuttgart |b IBM Deutschland, WT LILOG |c 1988 | |
| 300 | |a 25 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a LILOG-Report |v 36 : EUREKA project PROTOS | |
| 500 | |a Literaturverz. S. 23 - 25 | ||
| 830 | 0 | |a LILOG-Report |v 36 : EUREKA project PROTOS |w (DE-604)BV003673123 |9 36 : EUREKA pr | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002338778 | |
Datensatz im Suchindex
| _version_ | 1814896418592129024 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Pletat, Udo |
| author_facet | Pletat, Udo |
| author_role | aut |
| author_sort | Pletat, Udo |
| author_variant | u p up |
| building | Verbundindex |
| bvnumber | BV003675182 |
| ctrlnum | (OCoLC)46130685 (DE-599)BVBBV003675182 |
| 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">BV003675182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900803s1988 gw d||| |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46130685</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003675182</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pletat, Udo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Integrating model theoretic and proof theoretic interpretation of logic programs</subfield><subfield code="c">Udo Pletat. LILOG, IBM Deutschland GmbH</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">IBM Deutschland, WT LILOG</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 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">LILOG-Report</subfield><subfield code="v">36 : EUREKA project PROTOS</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 23 - 25</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LILOG-Report</subfield><subfield code="v">36 : EUREKA project PROTOS</subfield><subfield code="w">(DE-604)BV003673123</subfield><subfield code="9">36 : EUREKA pr</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002338778</subfield></datafield></record></collection> |
| id | DE-604.BV003675182 |
| illustrated | Illustrated |
| indexdate | 2024-11-05T15:21:41Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002338778 |
| oclc_num | 46130685 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 25 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | IBM Deutschland, WT LILOG |
| record_format | marc |
| series | LILOG-Report |
| series2 | LILOG-Report |
| spelling | Pletat, Udo Verfasser aut Integrating model theoretic and proof theoretic interpretation of logic programs Udo Pletat. LILOG, IBM Deutschland GmbH Stuttgart IBM Deutschland, WT LILOG 1988 25 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier LILOG-Report 36 : EUREKA project PROTOS Literaturverz. S. 23 - 25 LILOG-Report 36 : EUREKA project PROTOS (DE-604)BV003673123 36 : EUREKA pr |
| spellingShingle | Pletat, Udo Integrating model theoretic and proof theoretic interpretation of logic programs LILOG-Report |
| title | Integrating model theoretic and proof theoretic interpretation of logic programs |
| title_auth | Integrating model theoretic and proof theoretic interpretation of logic programs |
| title_exact_search | Integrating model theoretic and proof theoretic interpretation of logic programs |
| title_full | Integrating model theoretic and proof theoretic interpretation of logic programs Udo Pletat. LILOG, IBM Deutschland GmbH |
| title_fullStr | Integrating model theoretic and proof theoretic interpretation of logic programs Udo Pletat. LILOG, IBM Deutschland GmbH |
| title_full_unstemmed | Integrating model theoretic and proof theoretic interpretation of logic programs Udo Pletat. LILOG, IBM Deutschland GmbH |
| title_short | Integrating model theoretic and proof theoretic interpretation of logic programs |
| title_sort | integrating model theoretic and proof theoretic interpretation of logic programs |
| volume_link | (DE-604)BV003673123 |
| work_keys_str_mv | AT pletatudo integratingmodeltheoreticandprooftheoreticinterpretationoflogicprograms |