Deduction and declarative programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
28 |
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 269 - 274 |
| Beschreibung: | VI, 279 S. graph. Darst. |
| ISBN: | 0521417236 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008028666 | ||
| 003 | DE-604 | ||
| 005 | 19940427 | ||
| 007 | t | ||
| 008 | 930713s1992 d||| |||| 00||| eng d | ||
| 020 | |a 0521417236 |9 0-521-41723-6 | ||
| 035 | |a (OCoLC)246548478 | ||
| 035 | |a (DE-599)BVBBV008028666 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-739 |a DE-29T |a DE-11 | ||
| 050 | 0 | |a QA76.615 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Padawitz, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deduction and declarative programming |c Peter Padawitz |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1992 | |
| 300 | |a VI, 279 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 28 | |
| 500 | |a Literaturverz. S. 269 - 274 | ||
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 7 | |a Programmation déclarative |2 ram | |
| 650 | 7 | |a Programmation fonctionnelle (informatique) |2 ram | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a déduction |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a programmation déclarative |2 inriac | |
| 650 | 7 | |a spécification formelle |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Declarative programming | |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktion |0 (DE-588)4011271-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 1 | |a Deduktion |0 (DE-588)4011271-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 28 |w (DE-604)BV000754528 |9 28 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005282920 | |
Datensatz im Suchindex
| _version_ | 1806142855425556480 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Padawitz, Peter |
| author_facet | Padawitz, Peter |
| author_role | aut |
| author_sort | Padawitz, Peter |
| author_variant | p p pp |
| building | Verbundindex |
| bvnumber | BV008028666 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.615 |
| callnumber-search | QA76.615 |
| callnumber-sort | QA 276.615 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 ST 130 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)246548478 (DE-599)BVBBV008028666 |
| 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 |
| edition | 1. publ. |
| 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">BV008028666</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940427</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930713s1992 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521417236</subfield><subfield code="9">0-521-41723-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246548478</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008028666</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.615</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 120</subfield><subfield code="0">(DE-625)143585:</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 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Padawitz, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deduction and declarative programming</subfield><subfield code="c">Peter Padawitz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 279 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">28</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 269 - 274</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation déclarative</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation fonctionnelle (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation déclarative</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Declarative programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">28</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005282920</subfield></datafield></record></collection> |
| id | DE-604.BV008028666 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T00:27:32Z |
| institution | BVB |
| isbn | 0521417236 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005282920 |
| oclc_num | 246548478 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-29T DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-29T DE-11 |
| physical | VI, 279 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Padawitz, Peter Verfasser aut Deduction and declarative programming Peter Padawitz 1. publ. Cambridge Cambridge Univ. Press 1992 VI, 279 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 28 Literaturverz. S. 269 - 274 Logique symbolique et mathématique ram Ordinateurs - Programmation ram Programmation déclarative ram Programmation fonctionnelle (informatique) ram Wiskundige logica gtt déduction inriac démonstration théorème inriac logique inriac programmation déclarative inriac spécification formelle inriac vérification inriac Declarative programming Deklarative Programmierung (DE-588)4293503-9 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 s Deduktion (DE-588)4011271-8 s DE-604 Logischer Schluss (DE-588)4139983-3 s Deklarative Programmierung (DE-588)4293503-9 s Cambridge tracts in theoretical computer science 28 (DE-604)BV000754528 28 |
| spellingShingle | Padawitz, Peter Deduction and declarative programming Cambridge tracts in theoretical computer science Logique symbolique et mathématique ram Ordinateurs - Programmation ram Programmation déclarative ram Programmation fonctionnelle (informatique) ram Wiskundige logica gtt déduction inriac démonstration théorème inriac logique inriac programmation déclarative inriac spécification formelle inriac vérification inriac Declarative programming Deklarative Programmierung (DE-588)4293503-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Logischer Schluss (DE-588)4139983-3 gnd Deduktion (DE-588)4011271-8 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)4056186-0 (DE-588)4139983-3 (DE-588)4011271-8 |
| title | Deduction and declarative programming |
| title_auth | Deduction and declarative programming |
| title_exact_search | Deduction and declarative programming |
| title_full | Deduction and declarative programming Peter Padawitz |
| title_fullStr | Deduction and declarative programming Peter Padawitz |
| title_full_unstemmed | Deduction and declarative programming Peter Padawitz |
| title_short | Deduction and declarative programming |
| title_sort | deduction and declarative programming |
| topic | Logique symbolique et mathématique ram Ordinateurs - Programmation ram Programmation déclarative ram Programmation fonctionnelle (informatique) ram Wiskundige logica gtt déduction inriac démonstration théorème inriac logique inriac programmation déclarative inriac spécification formelle inriac vérification inriac Declarative programming Deklarative Programmierung (DE-588)4293503-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Logischer Schluss (DE-588)4139983-3 gnd Deduktion (DE-588)4011271-8 gnd |
| topic_facet | Logique symbolique et mathématique Ordinateurs - Programmation Programmation déclarative Programmation fonctionnelle (informatique) Wiskundige logica déduction démonstration théorème logique programmation déclarative spécification formelle vérification Declarative programming Deklarative Programmierung Softwarespezifikation Logischer Schluss Deduktion |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT padawitzpeter deductionanddeclarativeprogramming |