Analysis and synthesis of logics: how to cut and paste reasoning systems
Auteur :
Carnielli, Walter A.
Éditeur :
Carnielli, Walter A.Coniglio, Marcelo,Gabbay, Dov M.,Gouveia, Paula,Sernadas, Cristina,
ISBN :
9789048177257
Date de publication :
22 nov. 2010
Dimensions :
23,4 x 15,6 x 3,1 cm
Poids :
857 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Bonaire, Saba