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
     
PUBLICATIONS
  NEW BOOKS
  DOMAINS
  AUTHORS
  EVENTS
   
 
   
   
 
LUPEA Mihaiela-Ana
A COMPUTATIONAL APPROACH TO CLASSICAL LOGICS AND CIRCUITS

The purpose of this book is to present the logical foundations of computer science: classical logics and logic circuits. Fundamental concepts and results of classical logics are introduced in a formal style and in an explicitly computational way. Applications to automated theorem proving in propositional logic and first-order logic are presented. The studied proof methods are: the resolution method, the semantic tableaux method and the sequent/anti-sequent calculi.[...]

SOLD OUT   pcs.
 
 
   
 
   © Cluj University Press 2012 TERMS & CONDITIONS SPECIAL ACCESS WEBMAIL