HISTORY TODAY MISSION AND OBJECTIVES THE TEAM
NEW BOOKS DOMAINS AUTHORS EDITORIAL EVENTS
NEW E-BOOKS DOMAINS AUTHORS ABOUT E-BOOKS
PUBLISHING STEPS DESKTOP EDITING STANDARDS
CURRENT YEAR 2014 (AUTOEVALUATION) YEAR 2012 YEAR 2011 YEAR 2010
AFCN PROJECTS ANCS PROJECTS
DIPLOMAS PRESS REVIEWS NEWSLETTER 

    

      

          

            
            



   
    
    
     CART: 0 items | 0.00 LEI
    
    
home
search TITLE AUTHOR
     
E-BOOKS
  NEW E-BOOKS
  DOMAINS
  AUTHORS
   
   
 
   
   
 
MIHIȘ Andreea-Diana
CLASSICAL LOGICS IN COMPUTER SCIENCE

The purpose of this book is to present fundamental concepts and results of classical logics in a formal style and in an explicitly computational way.Applications to automated theorem proving in propositional logic and first-order logic are discussed. The studied proof methods are: the resolution method, the semantic tableaux method and the sequent calculus. The paper combines the theoretical presentation of classical logics with numerous examples explained and a rich base of proposed exercises.[...]

RESUME
Format: download
 
 
   
 
   © Cluj University Press 2012 TERMS & CONDITIONS SPECIAL ACCESS WEBMAIL