Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1071 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010742769 | ||
| 003 | DE-604 | ||
| 005 | 20080606 | ||
| 007 | t| | ||
| 008 | 960508s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 947151737 |2 DE-101 | |
| 020 | |a 3540612084 |9 3-540-61208-4 | ||
| 035 | |a (OCoLC)34604201 | ||
| 035 | |a (DE-599)BVBBV010742769 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.A96T33 1996 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 082 | 0 | |a 511.3 20 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Theorem proving with analytic tableaux and related methods |b 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings |c P. Miglioli ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a X, 329 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1071 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Automatische bewijsvoering |2 gtt | |
| 650 | 7 | |a Logique mathématique nonclassique - Congrès |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a Théorèmes - Démonstration automatique - Congrès |2 ram | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a logique intuitionniste |2 inriac | |
| 650 | 7 | |a logique linéaire |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a tableau sémantique |2 inriac | |
| 650 | 7 | |a tableau |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Automatic theorem proving -- Congresses | |
| 650 | 4 | |a Nonclassical mathematical logic -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Terrasini Favarotta |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Miglioli, Pierangelo |e Sonstige |4 oth | |
| 711 | 2 | |a Workshop on Theorem Proving with Analytic Tableaux and Related Methods |n 5 |d 1996 |c Terrasini Favarotta |j Sonstige |0 (DE-588)2155064-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1071 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1071 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007173678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007173678 | |
Datensatz im Suchindex
| DE-19_call_number | 1601/SS 4800-1071 1601/Zi 443 LNAI 1071 30474b |
|---|---|
| DE-19_location | 95 |
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
| DE-BY-TUM_katkey | 739787 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020451765 |
| DE-BY-UBM_katkey | 1535328 |
| DE-BY-UBM_local_keycode | ko |
| DE-BY-UBM_media_number | 99992423538 41900100160011 |
| _version_ | 1823051209374695425 |
| adam_text |
TABLE
OF
CONTENTS
INVITED
LECTURES
ON
SETS,
TYPES,
FIXED
POINTS,
AND
CHECKERBOARDS
.
1
PETER
B.
ANDREWS,
MATTHEW
BISHOP
FIBRED
TABLEAUX
FOR
MULTI-IMPLICATION
LOGICS
.
16
MARCELLO
D
'
AGOSTINO,
DOV
M.
GABBAY
CONTRIBUTED
PAPERS
INTERPOLATION
FOR
A
SEQUENT
CALCULUS
OF
GENERALIZED
QUANTIFIERS
.
36
NATASHA
ALECHINA
ALMOST
DUPLICATION-FREE
TABLEAU
CALCULI
FOR
PROPOSITIONAL
LAX
LOGICS
.
48
ALESSANDRO
AVELLONE,
MAURO
FERRARI
COMBINING
MANY-VALUED
AND
INTUITIONISTIC
TABLEAUX
.
65
MATTHIAS
BAAZ,
CHRISTIAN
G.
FERMULLER
CYCLIC
CONNECTIONS
.
80
GERARD
BECHER
INCREMENTAL
THEORY
REASONING
METHODS
FOR
SEMANTIC
TABLEAUX
.
93
BERNHARD
BECKERT,
CHRISTIAN
PAPE
THE
DISCONNECTION
METHOD:
A
CONFLUENT
INTEGRATION
OF
UNIFICATION
IN
THE
ANALYTIC
FRAMEWORK
.
110
JEAN-PAUL
BILLON
SEQUENT
CALCULI
FOR
DEFAULT
AND
AUTOEPISTEMIC
LOGICS
.
127
PIERO
A.
BONATTI
MINIMAL
MODEL
GENERATION
WITH
POSITIVE
UNIT
HYPER-RESOLUTION
TABLEAUX
.
143
FRANGOIS
BRY,
ADNAN
YAHYA
X
DISTRIBUTED
MODAL
THEOREM
PROVING
WITH
KE
.
160
JEREMY
PITT,
JIM
CUNNINGHAM
A
SIMPLE
TABLEAU
SYSTEM
FOR
THE
LOGIC
OF
ELSEWHERE
.
177
STEPHANE
DEMRI
SITUATIONAL
CALCULUS,
LINEAR
CONNECTION
PROOFS
AND
STRIPS-LIKE
PLANNING:
AN
EXPERIMENTAL
COMPARISON
.
193
BERTRAM
FRONHOFER
EFFICIENT
LOOP-CHECK
FOR
BACKWARD
PROOF
SEARCH
IN
SOME
NON-CLASSICAL
PROPOSITIONAL
LOGICS
.
210
ALAIN
HEUERDING,
MICHAEL
SEYFRIED,
HEINRICH
ZIMMERMANN
STRONG
NORMALIZATION
FOR
ALL-STYLE
LI\
,Q
.
226
JEAN-BAPTISTE
JOINET,
HAROLD
SCHELLINX,
LORENZO
TORTORA
DE
FALCO
T-STRING-UNIFICATION:
UNIFYING
PREFIXES
IN
NON-CLASSICAL
PROOF
METHODS
.
244
JENS
OTTEN,
CHRISTOPH
KREITZ
A
TIMING
REFINEMENT
OF
INTUITIONISTIC
PROOFS
AND
ITS
APPLICATION
TO
THE
TIMING
ANALYSIS
OF
COMBINATIONAL
CIRCUITS
.
261
MICHAEL
MENDLER
A
TABLEAU
CALCULUS
FOR
MINIMAL
MODEL
REASONING
.
278
ILKKA
NIEMELD
ON
THE
INTUITIONISTIC
FORCE
OF
CLASSICAL
SEARCH
.
295
EIKE
RITTER,
DAVID
PYM,
LINCOLN
WALLEN
PROOF-SEARCH
IN
INTUITIONISTIC
LOGIC
BASED
ON
CONSTRAINT
SATISFACTION
.
312
ANDREI
VORONKOV
AUTHORS
INDEX
330 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010742769 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96T33 1996 |
| callnumber-search | QA76.9.A96T33 1996 |
| callnumber-sort | QA 276.9 A96 T33 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 304 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)34604201 (DE-599)BVBBV010742769 |
| dewey-full | 511.3 511.320 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 511.3 20 |
| dewey-search | 511.3 511.3 20 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding 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">BV010742769</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960508s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947151737</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540612084</subfield><subfield code="9">3-540-61208-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34604201</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010742769</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96T33 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorem proving with analytic tableaux and related methods</subfield><subfield code="b">5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings</subfield><subfield code="c">P. Miglioli ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 329 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">Lecture notes in computer science</subfield><subfield code="v">1071 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatische bewijsvoering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique mathématique nonclassique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield><subfield code="2">ram</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 intuitionniste</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique linéaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">tableau sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">tableau</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonclassical mathematical logic -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Terrasini Favarotta</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Miglioli, Pierangelo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Theorem Proving with Analytic Tableaux and Related Methods</subfield><subfield code="n">5</subfield><subfield code="d">1996</subfield><subfield code="c">Terrasini Favarotta</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2155064-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1071 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1071</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=007173678&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-007173678</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Terrasini Favarotta gnd-content |
| genre_facet | Konferenzschrift 1996 Terrasini Favarotta |
| id | DE-604.BV010742769 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T16:34:53Z |
| institution | BVB |
| institution_GND | (DE-588)2155064-5 |
| isbn | 3540612084 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007173678 |
| oclc_num | 34604201 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| physical | X, 329 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings Lecture notes in computer science Automatische bewijsvoering gtt Logique mathématique nonclassique - Congrès ram Logique symbolique et mathématique - Congrès ram Théorèmes - Démonstration automatique - Congrès ram démonstration théorème inriac logique intuitionniste inriac logique linéaire inriac logique modale inriac logique temporelle inriac raisonnement automatique inriac tableau sémantique inriac tableau inriac théorie démonstration inriac Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)1071861417 |
| title | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings |
| title_auth | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings |
| title_exact_search | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings |
| title_full | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.) |
| title_fullStr | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.) |
| title_full_unstemmed | Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings P. Miglioli ... (eds.) |
| title_short | Theorem proving with analytic tableaux and related methods |
| title_sort | theorem proving with analytic tableaux and related methods 5th international workshop tableaux 96 terrasini palermo italy may 15 17 1996 proceedings |
| title_sub | 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings |
| topic | Automatische bewijsvoering gtt Logique mathématique nonclassique - Congrès ram Logique symbolique et mathématique - Congrès ram Théorèmes - Démonstration automatique - Congrès ram démonstration théorème inriac logique intuitionniste inriac logique linéaire inriac logique modale inriac logique temporelle inriac raisonnement automatique inriac tableau sémantique inriac tableau inriac théorie démonstration inriac Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Automatische bewijsvoering Logique mathématique nonclassique - Congrès Logique symbolique et mathématique - Congrès Théorèmes - Démonstration automatique - Congrès démonstration théorème logique intuitionniste logique linéaire logique modale logique temporelle raisonnement automatique tableau sémantique tableau théorie démonstration Automatic theorem proving -- Congresses Nonclassical mathematical logic -- Congresses Logic, Symbolic and mathematical -- Congresses Automatisches Beweisverfahren Konferenzschrift 1996 Terrasini Favarotta |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007173678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT migliolipierangelo theoremprovingwithanalytictableauxandrelatedmethods5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT workshopontheoremprovingwithanalytictableauxandrelatedmethodsterrasinifavarotta theoremprovingwithanalytictableauxandrelatedmethods5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings |