Télécharger le livre :  Handbook of Automated Reasoning
Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware,...

Editeur : North Holland
Parution : 2001-06-22
PDF, epub sans DRM

406,17

Téléchargement immédiat
Dès validation de votre commande