skip to content
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings Preview this item
ClosePreview this item
Checking...

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

Author: Neil V Murray
Publisher: Berlin : Springer, 1999.
Series: Lecture notes in computer science, 1617.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

These revised papers on the mechanization of reasoning with tableaux and similar methods range from theoretical foundations to implementation and systems development and applications as well as  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongress
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Neil V Murray
ISBN: 3540660860 9783540660866
OCLC Number: 632352020
Notes: Variante du titre: TABLEAUX'99.
Description: x, 323 Seiten : figur ; 24 cm.
Contents: Extended Abstracts of Invited Lectures.- Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions.- Comparison.- Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison.- DLP and FaCT.- Applying an ABox Consistency Tester to Modal Logic SAT Problems.- KtSeqC : System Description.- Abstracts of Tutorials.- Automated Reasoning and the Verification of Security Protocols.- Proof Confluent Tableau Calculi.- Contributed Research Papers.- Analytic Calculi for Projective Logics.- Merge Path Improvements for Minimal Model Hyper Tableaux.- CLDS for Propositional Intuitionistic Logic.- Intuitionisitic Tableau Extracted.- A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.- Bounded Contraction in Systems with Linearity.- The Non-associative Lambek Calculus with Product in Polynomial Time.- Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?.- Cut-Free Display Calculi for Nominal Tense Logics.- Hilbert's ?-Terms in Automated Theorem Proving.- Partial Functions in an Impredicative Simple Theory of Types.- A Simple Sequent System for First-Order Logic with Free Constructors.- linTAP : A Tableau Prover for Linear Logic.- A Tableau Calculus for a Temporal Logic with Temporal Connectives.- A Tableau Calculus for Pronoun Resolution.- Generating Minimal Herbrand Models Step by Step.- Tableau Calculi for Hybrid Logics.- Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.- Contributed System Descriptions.- An Interactive Theorem Proving Assistant.- A Time Efficient KE Based Theorem Prover.- Strategy Parallel Use of Model Elimination with Lemmata.
Series Title: Lecture notes in computer science, 1617.
Other Titles: TABLEAUX'99
Responsibility: Neil V. Murray (ed.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/632352020> # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "632352020" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/898368005#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/automatische_beweisfuhrung_mathematische_logik> ; # AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/intuitionistische_logik_mathematische_logik> ; # INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaux_logique_mathematique> ; # TABLEAUX (LOGIQUE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/demonstration_automatique_logique_mathematique> ; # DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/intuitionistic_logic_mathematical_logic> ; # INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/logique_intuitionniste_logique_mathematique> ; # LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/automated_theorem_proving_mathematical_logic> ; # AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaux_mathematical_logic> ; # TABLEAUX (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaus_mathematische_logik> ; # TABLEAUS (MATHEMATISCHE LOGIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/898368005#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:alternateName "TABLEAUX'99" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/898368005#Meeting/international_conference_tableaux_1999_saratoga_springs> ; # International Conference Tableaux (1999 : Saratoga Springs)
    schema:contributor <http://viaf.org/viaf/35302397> ; # Neil V. Murray
    schema:datePublished "1999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/898368005> ;
    schema:genre "Kongress" ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/898368005#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/898368005#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> ; # Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;
    schema:name "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings" ;
    schema:productID "632352020" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/632352020#PublicationEvent/berlin_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/898368005#Agent/springer> ; # Springer
    schema:url <http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3540660860> ;
    schema:url <http://sfx.ethz.ch:9003/sfx_locater?sid=ALEPH:EBI01&issn=0302-9743&volume=1617> ;
    schema:url <http://dx.doi.org/10.1007/3-540-48754-9> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9783540660866.pdf> ;
    schema:url <https://doi.org/10.1007/3-540-48754-9> ;
    schema:workExample <http://worldcat.org/isbn/9783540660866> ;
    umbel:isLike <http://d-nb.info/956334040> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/632352020> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/898368005#Meeting/international_conference_tableaux_1999_saratoga_springs> # International Conference Tableaux (1999 : Saratoga Springs)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/898368005#Place/saratoga_springs> ; # Saratoga Springs)
    schema:name "International Conference Tableaux (1999 : Saratoga Springs)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Place/saratoga_springs> # Saratoga Springs)
    a schema:Place ;
    schema:name "Saratoga Springs)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> # Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/632352020> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
    schema:name "Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/632352020> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/automated_theorem_proving_mathematical_logic> # AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
    a schema:Thing ;
    schema:name "AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/automatische_beweisfuhrung_mathematische_logik> # AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
    a schema:Thing ;
    schema:name "AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/demonstration_automatique_logique_mathematique> # DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
    schema:name "DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/intuitionistic_logic_mathematical_logic> # INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
    a schema:Thing ;
    schema:name "INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/intuitionistische_logik_mathematische_logik> # INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)
    a schema:Thing ;
    schema:name "INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/logique_intuitionniste_logique_mathematique> # LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
    schema:name "LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaus_mathematische_logik> # TABLEAUS (MATHEMATISCHE LOGIK)
    a schema:Thing ;
    schema:name "TABLEAUS (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaux_logique_mathematique> # TABLEAUX (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
    schema:name "TABLEAUX (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Thing/tableaux_mathematical_logic> # TABLEAUX (MATHEMATICAL LOGIC)
    a schema:Thing ;
    schema:name "TABLEAUX (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898368005#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren" ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving" ;
    .

<http://viaf.org/viaf/35302397> # Neil V. Murray
    a schema:Person ;
    schema:familyName "Murray" ;
    schema:givenName "Neil V." ;
    schema:name "Neil V. Murray" ;
    .

<http://worldcat.org/isbn/9783540660866>
    a schema:ProductModel ;
    schema:isbn "3540660860" ;
    schema:isbn "9783540660866" ;
    .

<http://www.worldcat.org/title/-/oclc/632352020>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/632352020> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
    schema:dateModified "2018-05-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.