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 [etc.] : Springer, 1999.
Series: Lecture notes in computer science, 1617.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Kongress
Conference papers and proceedings
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 p : fig ; 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://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856772042#Place/berlin_etc> ; # Berlin etc.
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/intuitionistische_logik_mathematische_logik> ; # INTUITIONISTISCHE LOGIK (MATHEMATISCHE LOGIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/intuitionistic_logic_mathematical_logic> ; # INTUITIONISTIC LOGIC (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/tableaux_logique_mathematique> ; # TABLEAUX (LOGIQUE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/automatische_beweisfuhrung_mathematische_logik> ; # AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/automated_theorem_proving_mathematical_logic> ; # AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/tableaux_mathematical_logic> ; # TABLEAUX (MATHEMATICAL LOGIC)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/demonstration_automatique_logique_mathematique> ; # DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/tableaus_mathematische_logik> ; # TABLEAUS (MATHEMATISCHE LOGIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Thing/logique_intuitionniste_logique_mathematique> ; # LOGIQUE INTUITIONNISTE (LOGIQUE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856772042#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:alternateName "TABLEAUX'99" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/35302397> ; # Neil V. Murray
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3856772042#Meeting/international_conference_tableaux_1999_saratoga_springs> ; # International Conference Tableaux (1999 : Saratoga Springs)
    schema:datePublished "1999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3856772042> ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Kongress" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856772042#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856772042#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_etc_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3856772042#Agent/springer> ; # Springer
    schema:url <http://dx.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/3856772042#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/3856772042#Place/saratoga_springs> ; # Saratoga Springs)
    schema:name "International Conference Tableaux (1999 : Saratoga Springs)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3856772042#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/3856772042#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/3856772042#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/3856772042#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/3856772042#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/3856772042#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/3856772042#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/3856772042#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/3856772042#Thing/tableaus_mathematische_logik> # TABLEAUS (MATHEMATISCHE LOGIK)
    a schema:Thing ;
    schema:name "TABLEAUS (MATHEMATISCHE LOGIK)" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/3856772042#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 "2016-09-11" ;
    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.