Mechanizing mathematical reasoning: essays in honor of jorg h. siekmann on the occasion of his 60th birthday
Auteur :
Huttler, Dieter
ISBN :
9783540250517
Date de publication :
23 févr. 2005
Dimensions :
23,3 x 15,5 x 2,9 cm
Poids :
803 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
By presenting results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H Siekmann. It is organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.