Gespeichert in:
| Beteilige Person: | |
|---|---|
| Körperschaft: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Saarbrücken
Max-Planck-Institut für Informatik
1993
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005389727&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturangaben |
| Umfang: | 250 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008168629 | ||
| 003 | DE-604 | ||
| 005 | 19940417 | ||
| 007 | t| | ||
| 008 | 930802s1993 xx d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)29434204 | ||
| 035 | |a (DE-599)BVBBV008168629 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 084 | |a DAT 706f |2 stub | ||
| 088 | |a MPI I 93 213 | ||
| 111 | 2 | |a Workshop on Theorem Proving with Analytic Tableaux and Related Methods |n 2 |d 1993 |c Marseille |j Verfasser |0 (DE-588)2130610-2 |4 aut | |
| 245 | 1 | 0 | |a Workshop on Theorem Proving with Analytic Tableaux and Related Methods |b Marseille, France, April 28 - 30, 1993 |c David Basin ... |
| 246 | 1 | 3 | |a Theorem proving with analytic tableaux and related topics |
| 246 | 1 | 3 | |a MPI I 93 213 |
| 264 | 1 | |a Saarbrücken |b Max-Planck-Institut für Informatik |c 1993 | |
| 300 | |a 250 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Automatic theorem proving | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Basin, David |e Sonstige |4 oth | |
| 700 | 1 | 2 | |a Basin, David |4 aut |t Workshop on Theorem Proving with Analytic Tableaux and Related Methods |
| 710 | 2 | |a Max-Planck-Institut für Informatik |e Sonstige |0 (DE-588)5066841-9 |4 oth | |
| 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=005389727&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005389727 | |
Datensatz im Suchindex
| _version_ | 1819332610967470080 |
|---|---|
| adam_text | WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS
MARSEILLE, FRANCE, APRIL 28-30,1993 DAVID BASIN, REINER HAHNLE, BERTRAM
FRONHOFER, JOACHIM POSEGGA, CAMILLA SCHWIND MPI-I-93-213 MARCH 1993
UWVERSIT*TSB!61K THEK HANNOVER TECHNISCHE INFORMATTONSBIBLIOTHEK UB/TIB
HANNOVER 89 113 300 646 CONTENTS 0. ASTRACHAN: METEOR: EXPLORING MODEL
ELIMINATION THEOREM PROVING P. BAUMGARTNER: COMBINING MODEL ELIMINATION
WITH UNIT-RESULTING RESOLUTION B. BECKERT: A COMPLETION-BASED METHOD FOR
ADDING EQUALITY TO FREE VARIABLE SEMANTIC TABLEAUX C. BELLEANNEE:
GENERATING NEW INFERENCE RULES FOR A TABLEAUX-LIKE THEOREM PROVER K.
BRODA: A THREE-DIMENSIONAL REFINEMENT FOR TABLEAUX S. BRIINING: SEARCH
SPACE PRUNING BY CHECKING DYNAMIC TERM GROWTH M. BUCHHEIT, F. M. DONINI,
A. SCHAERF: DECIDABLE REASONING IN TERMINOLOGICAL KNOWLEDGE
REPRESENTATION SYSTEMS M. D AGOSTINO, M. MONDADORI: THE COMPLEXITY OF
PROOF-SEARCH WITH ANALYTIC TABLEAUX AND RELATED SYS- TEMS M. D AGOSTINO,
D.M. GABBAY: LABELLED REFUTATION SYSTEMS: A CASE-STUDY D. GALMICHE:
PROOF SEARCH METHODS IN LINEAR LOGIC R. A. GIRLE: NON-LOOPING TABLEAU
FOR S4 R. GORE: SEMI-ANALYTIC TABLEAUX FOR PROPOSITIONAL MODAL LOGICS OF
NONMONOTONICITY J. GOUBAULT: SYNTAX INDEPENDENT CONNECTIONS P. GOUVEIA,
C. SERNADAS, J. GOMES, M.-J. APOLINARIO: TABLEAUX FOR REASONING ABOUT
OBJECTS M. GRUNDY: SEMANTIC CONSTRAINT IN MODEL GENERATION THEOREM
PROVING M. HUHN, P. NIEBERT: A TABLEAU-BASED PROOF SYSTEM FOR THE
PROPOSITIONAL /^-CALCULUS P. KUHNA: CIRCUMSCRIPTION AND MINIMAL MODELS
FOR PROPOSITIONAL LOGICS S. LORENZ: A TABLEAU PROVER FOR DOMAIN
MINIMIZATION P. MIGLIOLI, U. MOSCATO, M. ORNAGHI: AN IMPROVED REFUTATION
SYSTEM FOR INTUITIONISTIC PREDICATE LOGIC C. G. MORGAN, E. ORLOWSKA:
KRIPKE AND RELATIONAL-STYLE SEMANTICS AND ASSOCIATED TABLEAU PROOF
SYSTEMS FOR ARBITRARY FINITE VALUED LOGICS N. V. MURRAY, E. ROSENTHAL:
ON THE RELATIVE MERITS OF PATH DISSOLUTION AND THE METHOD OF ANALYTIC
TABLEAUX U. PETERMANN: A FRAMEWORK FOR INTEGRATING EQUALITY REASONING
INTO THE EXTENSION PROCEDURE R. PLIUSKEVICIUS: THE ANALYTIC TABLEAUX FOR
LINEAR MINISCOPED HORN-LIKE TEMPORAL LOGIC J. POSEGGA, K. SCHNEIDER:
DEDUCTION WITH FIRST-ORDER BDDS A. RAMESH, N. V. MURRAY: EXPERIMENTS
COMPUTING PRIME IMPLICANTS/IMPLICATES USING TECHNIQUES NOT RE- QUIRING
CLAUSE FORM P. SAVADOVSKY: EXTENDED TABLEAUX FOR SPECIFICATION
REFINEMENT J. UNDERWOOD: THE TABLEAU ALGORITHM FOR INTUITIONISTIC
PROPOSITIONAL CALCULUS AS A CONSTRUCTIVE COMPLETE- NESS PROOF G.
WRIGHTSON: CLAUSAL TABLEAUX WITH LINKS AND LEMMAS
|
| any_adam_object | 1 |
| author | Basin, David |
| author_corporate | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille |
| author_corporate_role | aut |
| author_facet | Basin, David Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille |
| author_role | aut |
| author_sort | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille |
| author_variant | d b db |
| building | Verbundindex |
| bvnumber | BV008168629 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)29434204 (DE-599)BVBBV008168629 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01618nam a2200361 c 4500</leader><controlfield tag="001">BV008168629</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940417 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930802s1993 xx d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29434204</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008168629</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MPI I 93 213</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Theorem Proving with Analytic Tableaux and Related Methods</subfield><subfield code="n">2</subfield><subfield code="d">1993</subfield><subfield code="c">Marseille</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2130610-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Workshop on Theorem Proving with Analytic Tableaux and Related Methods</subfield><subfield code="b">Marseille, France, April 28 - 30, 1993</subfield><subfield code="c">David Basin ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Theorem proving with analytic tableaux and related topics</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">MPI I 93 213</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken</subfield><subfield code="b">Max-Planck-Institut für Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">250 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</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="700" ind1="1" ind2="2"><subfield code="a">Basin, David</subfield><subfield code="4">aut</subfield><subfield code="t">Workshop on Theorem Proving with Analytic Tableaux and Related Methods</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Max-Planck-Institut für Informatik</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5066841-9</subfield><subfield code="4">oth</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=005389727&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005389727</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV008168629 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:17:45Z |
| institution | BVB |
| institution_GND | (DE-588)2130610-2 (DE-588)5066841-9 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005389727 |
| oclc_num | 29434204 |
| open_access_boolean | |
| physical | 250 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Max-Planck-Institut für Informatik |
| record_format | marc |
| spellingShingle | Basin, David Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 Automatic theorem proving |
| subject_GND | (DE-588)1071861417 |
| title | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 |
| title_alt | Theorem proving with analytic tableaux and related topics MPI I 93 213 Workshop on Theorem Proving with Analytic Tableaux and Related Methods |
| title_auth | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 |
| title_exact_search | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 |
| title_full | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 David Basin ... |
| title_fullStr | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 David Basin ... |
| title_full_unstemmed | Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 David Basin ... |
| title_short | Workshop on Theorem Proving with Analytic Tableaux and Related Methods |
| title_sort | workshop on theorem proving with analytic tableaux and related methods marseille france april 28 30 1993 |
| title_sub | Marseille, France, April 28 - 30, 1993 |
| topic | Automatic theorem proving |
| topic_facet | Automatic theorem proving Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005389727&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseille workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseillefranceapril28301993 AT basindavid workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseillefranceapril28301993 AT maxplanckinstitutfurinformatik workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseillefranceapril28301993 AT workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseille theoremprovingwithanalytictableauxandrelatedtopics AT basindavid theoremprovingwithanalytictableauxandrelatedtopics AT maxplanckinstitutfurinformatik theoremprovingwithanalytictableauxandrelatedtopics AT workshopontheoremprovingwithanalytictableauxandrelatedmethodsmarseille mpii93213 AT basindavid mpii93213 AT maxplanckinstitutfurinformatik mpii93213 |