Automated deduction: a basis for applications: v. 1: foundations - calculi and methodss: v. 2: systems and implementation techniques: v. 3: applications
Auteur :
Bibel, Wolfgang
ISBN :
9780792351313
Date de publication :
1 juin 1998
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
675 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.