Automated reasoning with analytic tableaux and related methods: international conference, tableaux 2002. copenhagen, denmark, july 30 - august 1, 2002. proceedings
Auteur :
Egly, Uwe
ISBN :
9783540439295
Date de publication :
17 juil. 2002
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
500 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.