The Resource Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)
Resource Information
The item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered
- Language
- eng
- Extent
- 1 online resource (x, 323 pages).
- Isbn
- 9783540487548
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Title
- Automated reasoning with analytic tableaux and related methods
- Title remainder
- international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Statement of responsibility
- Niel V. Murray (ed.)
- Subject
-
- Automatic theorem proving
- Automatic theorem proving -- Congresses
- Automation
- Automatisches Beweisverfahren
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Inteligencia artificial (computacao)
- Kunstmatige intelligentie
- Logischer Schluss
- Logischer Schluss
- Redeneren
- Saratoga Springs (NY, 1999)
- Saratoga Springs <NY, 1999>
- Théorèmes -- Démonstration automatique | Congrès
- Automatic theorem proving
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'99, held in Saratoga Springs, NY, USA, in June 1999. The volume presents 18 revised full papers and three system descriptions selected from 41 submissions. Also included are system comparisons and abstracts of an invited paper and of two tutorials. All current issues surrounding mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation and systems development and applications, as well as covering a broad variety of logic calculi. As application areas, formal verification of software and computer systems, deductive databases, knowledge representation, and systems diagnosis are covered
- Cataloging source
- COO
- Dewey number
- 006.3/33
- Index
- index present
- LC call number
- QA76.9.A96
- LC item number
- T33 1999
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1999
- http://bibfra.me/vocab/lite/meetingName
- TABLEAUX '99
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Murray, Neil V
- Series statement
-
- Lecture notes in computer science
- Lecture notes in artificial intelligence
- Series volume
- 1617.
- http://library.link/vocab/subjectName
-
- Automatic theorem proving
- Automatic theorem proving
- Automation
- Automatisches Beweisverfahren
- Logischer Schluss
- Kunstmatige intelligentie
- Redeneren
- Inteligencia artificial (computacao)
- Théorèmes
- Saratoga Springs <NY, 1999>
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487128
- Dimensions
- unknown
- Extent
- 1 online resource (x, 323 pages).
- Form of item
- online
- Isbn
- 9783540487548
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- System control number
- (OCoLC)243487128
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)
- Bibliography note
- Includes bibliographical references
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- 243487128
- Dimensions
- unknown
- Extent
- 1 online resource (x, 323 pages).
- Form of item
- online
- Isbn
- 9783540487548
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Specific material designation
- remote
- System control number
- (OCoLC)243487128
Subject
- Automatic theorem proving
- Automatic theorem proving -- Congresses
- Automation
- Automatisches Beweisverfahren
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Inteligencia artificial (computacao)
- Kunstmatige intelligentie
- Logischer Schluss
- Logischer Schluss
- Redeneren
- Saratoga Springs (NY, 1999)
- Saratoga Springs <NY, 1999>
- Théorèmes -- Démonstration automatique | Congrès
- Automatic theorem proving
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 1617
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automated-reasoning-with-analytic-tableaux-and/EeKL1ueNQog/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automated-reasoning-with-analytic-tableaux-and/EeKL1ueNQog/">Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automated-reasoning-with-analytic-tableaux-and/EeKL1ueNQog/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automated-reasoning-with-analytic-tableaux-and/EeKL1ueNQog/">Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings, Niel V. Murray (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
