Cover Image

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

"This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art result...

Full description

Bibliographic Details
Corporate Authors: TABLEAUX '96 Terrasini, Italy, SpringerLink (Online service)
Other Authors: Miglioli, P.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1071.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
tableau sémantique.
logique intuitionniste.
logique linéaire.
logique temporelle.
raisonnement automatique.
logique modale.
tableau.
démonstration théorème.
théorie démonstration.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Nonclassical mathematical logic.
Automatische bewijsvoering.
Théorèmes > Démonstration automatique > Congrès.
Logique mathématique nonclassique > Congrès.
Logique symbolique et mathématique > Congrès.
Automatisches Beweisverfahren.
Kongre€.
Electronic books.
Kongre€ > Terrasini Favarotta > 1996.
Conference proceedings.
Terrasini Favarotta (1996)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 T33 1996
 
Call Number Status Get It
QA76.9.A96 T33 1996 Available