Theorem proving with analytic tableaux and related methods: 5th international workshop, tableaux '96, terrasini (palermo), italy, may 15-17, 1996 - proceedings
Auteur :
Miglioli, Pierangelo
ISBN :
9783540612087
Date de publication :
24 avr. 1996
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
1080 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.