Automated reasoning with analytic tableaux and related methods: international conference, tableaux 97, pont-a-mousson, france, may 13 - 16, 1997 proceedings
Auteur :
Galmiche, Didier
ISBN :
9783540629207
Date de publication :
29 avr. 1997
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
548 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume cover the spectrum of tableaux-based theorem proving and its applications, including theoretical foundations, methodological issues, implementation techniques, and system development. They deal with classical, modal, intuitionistic, many-valued and temporal logic.