Deduction and declarative programming:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
28 |
| Schlagwörter: | |
| Beschreibung: | Literaturverz. S. 269 - 274 |
| Umfang: | VI, 279 S. graph. Darst. |
| ISBN: | 0521417236 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008028666 | ||
| 003 | DE-604 | ||
| 005 | 19940427 | ||
| 007 | t| | ||
| 008 | 930713s1992 xx 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
| DE-BY-TUM_call_number | 0001 94 B 224 0102 DAT 706f 2001 A 27018 |
|---|---|
| DE-BY-TUM_katkey | 596351 |
| DE-BY-TUM_location | Mag 01 |
| DE-BY-TUM_media_number | 040001878248 040010512348 |
| _version_ | 1821938801281335296 |
| 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>02281nam a2200637 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 xx 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-12-20T09:15:14Z |
| 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 |
| 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 |
Paper/Kapitel scannen lassen
Bibliotheksmagazin
| Signatur: |
0001 94 B 224 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 706f 2001 A 27018 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |