Logic for computer scientists
Auteur :
Schöning, Uwe
Éditeur :
Birkhauser Boston Inc
ISBN :
9780817647629
Date de publication :
11 janv. 2008
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.