Efficiently combining logical constraints with functions:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Stanford, Calif.
Stanford, Univ., Dept. of Comp. Sci.
1988
|
| Schlagworte: | |
| Beschreibung: | Zugl.: Stanford, Calif., Univ., Diss. |
| Beschreibung: | XII, 178 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002138122 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1988 m||| 00||| und d | ||
| 035 | |a (DE-599)BVBBV002138122 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Bothner, Per M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Efficiently combining logical constraints with functions |c by Per Magnus Alfred Bothner |
| 246 | 1 | 3 | |a Reportnr. STAN CS 88 1238 |
| 264 | 1 | |a Stanford, Calif. |b Stanford, Univ., Dept. of Comp. Sci. |c 1988 | |
| 300 | |a XII, 178 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Stanford, Calif., Univ., Diss. | ||
| 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-001402214 | ||
Datensatz im Suchindex
| _version_ | 1804116592341024768 |
|---|---|
| any_adam_object | |
| author | Bothner, Per M. |
| author_facet | Bothner, Per M. |
| author_role | aut |
| author_sort | Bothner, Per M. |
| author_variant | p m b pm pmb |
| building | Verbundindex |
| bvnumber | BV002138122 |
| classification_tum | DAT 706d |
| ctrlnum | (DE-599)BVBBV002138122 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01015nam a2200301 c 4500</leader><controlfield tag="001">BV002138122</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1988 m||| 00||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002138122</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=" " ind2=" "><subfield code="a">und</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">Bothner, Per M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Efficiently combining logical constraints with functions</subfield><subfield code="c">by Per Magnus Alfred Bothner</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. STAN CS 88 1238</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">Stanford, Univ., Dept. of Comp. Sci.</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 178 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="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Stanford, Calif., Univ., Diss.</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-001402214</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV002138122 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:40:57Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001402214 |
| open_access_boolean | |
| physical | XII, 178 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Stanford, Univ., Dept. of Comp. Sci. |
| record_format | marc |
| spelling | Bothner, Per M. Verfasser aut Efficiently combining logical constraints with functions by Per Magnus Alfred Bothner Reportnr. STAN CS 88 1238 Stanford, Calif. Stanford, Univ., Dept. of Comp. Sci. 1988 XII, 178 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Stanford, Calif., Univ., Diss. 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 | Bothner, Per M. Efficiently combining logical constraints with functions Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4113937-9 |
| title | Efficiently combining logical constraints with functions |
| title_alt | Reportnr. STAN CS 88 1238 |
| title_auth | Efficiently combining logical constraints with functions |
| title_exact_search | Efficiently combining logical constraints with functions |
| title_full | Efficiently combining logical constraints with functions by Per Magnus Alfred Bothner |
| title_fullStr | Efficiently combining logical constraints with functions by Per Magnus Alfred Bothner |
| title_full_unstemmed | Efficiently combining logical constraints with functions by Per Magnus Alfred Bothner |
| title_short | Efficiently combining logical constraints with functions |
| title_sort | efficiently combining logical constraints with functions |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Hochschulschrift |
| work_keys_str_mv | AT bothnerperm efficientlycombininglogicalconstraintswithfunctions AT bothnerperm reportnrstancs881238 |