Proof theory and automated deduction
Auteur :
Goubault-Larrecq, Jean / Mackie, I.
Éditeur :
Kluwer Academic Publishers
ISBN :
9781402003684
Date de publication :
30 nov. 2001
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.