Labelled deduction:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
2000
|
| Schriftenreihe: | Applied logic series
17 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 266 S. |
| ISBN: | 0792362373 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013355286 | ||
| 003 | DE-604 | ||
| 005 | 20010125 | ||
| 007 | t | ||
| 008 | 000922s2000 |||| 00||| eng d | ||
| 020 | |a 0792362373 |9 0-7923-6237-3 | ||
| 035 | |a (OCoLC)43706716 | ||
| 035 | |a (DE-599)BVBBV013355286 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-11 | ||
| 050 | 0 | |a QA9.46 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Labelled deduction |c ed. by David Basin ... |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 2000 | |
| 300 | |a XI, 266 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 17 | |
| 650 | 4 | |a Modality (Logic) | |
| 700 | 1 | |a Basin, David |e Sonstige |4 oth | |
| 830 | 0 | |a Applied logic series |v 17 |w (DE-604)BV011076498 |9 17 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009109193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009109193 | ||
Datensatz im Suchindex
| _version_ | 1804128132291100672 |
|---|---|
| adam_text | LABELLED DEDUCTION EDITED BY | DAVID BASIN ALBERT-LUDWIGS-UNIVERSITAET
FREIBURG, GERMANY MARCELLO D AGOSTINO UNIVERSITAE DI FERRARA, ITALY DOV
M. GABBAY KING S COLLEGE, LONDON, UNITED KINGDOM SEAEN MATTHEWS LOGICA
GMBH, FRANKFURT AM MAIN, GERMANY AND LUCA VIGANOE
ALBERT-LUDWIGS-UNIVERSITAET FREIBURG, GERMANY KLUWER ACADEMIC PUBLISHERS
DORDRECHT / BOSTON / LONDON CONTENTS PREFACE VII CONTRIBUTING AUTHORS IX
LABELLED PROOF SYSTEMS FOR INTUITIONISTIC PROVABILITY 1 VINCENT BALAT
AND DIDIER GALMICHE NORMAL MULTIMODAL LOGICS WITH INTERACTION AXIOMS 33
MATTEO BALDONI THE SAT PROBLEM OF SIGNED CNF FORMULAS 59 BERNHARD
BECKERT, REINER HAEHNLE AND FELIP MANYAE DISCIPLINE AS LOGIC: TREATING
LABELS AS FIRST CLASS CITIZENS 81 PATRICK BLACKBURN LABELLED ABDUCTION
107 KRYSIA BRODA AND DOV M. GABBAY LABELLED TABLEAUX FOR PROPOSITIONAL
LINEAR TIME LOGIC OVER 135 FINITE FRAMES SERENELLA CERRITO AND MARTA
CIALDEA MAYER FIBRED MODAL TABLEAUX 161 DOV M. GABBAY AND GUIDO
GOVERNATORI V VI LABELLED DEDUCTION LABELLED DEDUCTION FOR THE GUARDED
FRAGMENT 193 MAARTEN MARX, SZABOLCS MIKULAS AND STEFAN SCHLOBACH
SEMANTICS FOR TEMPORAL ANNOTATED CONSTRAINT LOGIC PROGRAMMING 215
ALESSANDRA RAFFAETAE AND THOM FRUEHWIRTH THE LOGIC OF REUSABLE
PROPOSITIONAL OUTPUT WITH THE 245 FULFILMENT CONSTRAINT LEENDERT VAN DER
TORRE $
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013355286 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.46 |
| callnumber-search | QA9.46 |
| callnumber-sort | QA 19.46 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 SK 130 |
| ctrlnum | (OCoLC)43706716 (DE-599)BVBBV013355286 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01208nam a2200349 cb4500</leader><controlfield tag="001">BV013355286</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010125 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000922s2000 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792362373</subfield><subfield code="9">0-7923-6237-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43706716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013355286</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.46</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Labelled deduction</subfield><subfield code="c">ed. by David Basin ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 266 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">Applied logic series</subfield><subfield code="v">17</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Basin, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">17</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">17</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009109193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009109193</subfield></datafield></record></collection> |
| id | DE-604.BV013355286 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:44:23Z |
| institution | BVB |
| isbn | 0792362373 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009109193 |
| oclc_num | 43706716 |
| open_access_boolean | |
| owner | DE-739 DE-11 |
| owner_facet | DE-739 DE-11 |
| physical | XI, 266 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Kluwer |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spelling | Labelled deduction ed. by David Basin ... Dordrecht [u.a.] Kluwer 2000 XI, 266 S. txt rdacontent n rdamedia nc rdacarrier Applied logic series 17 Modality (Logic) Basin, David Sonstige oth Applied logic series 17 (DE-604)BV011076498 17 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009109193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Labelled deduction Applied logic series Modality (Logic) |
| title | Labelled deduction |
| title_auth | Labelled deduction |
| title_exact_search | Labelled deduction |
| title_full | Labelled deduction ed. by David Basin ... |
| title_fullStr | Labelled deduction ed. by David Basin ... |
| title_full_unstemmed | Labelled deduction ed. by David Basin ... |
| title_short | Labelled deduction |
| title_sort | labelled deduction |
| topic | Modality (Logic) |
| topic_facet | Modality (Logic) |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009109193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT basindavid labelleddeduction |