Logic, language information and computation: 14th international workshop, wollic 2007, rio de janeiro, brazil, july 2-5, 2007, proceedings
Auteur :
Leivant, Daniel
ISBN :
9783540734437
Date de publication :
15 juin 2007
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
575 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007. This book focuses on foundations of computing and programming, novel computation models and paradigms, and broad notions of proof and belief.