Téléchargez le livre : Handbook of Automated Reasoning
eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈 ebook sans DRM
Lecture en ligne (streaming)
406,17 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence.
Pages
2128 pages
Collection
n.c
Parution
2001-06-22
Marque
North Holland
EAN papier
9780444508133
EAN PDF
9780080532790
Informations sur l'ebook
Nombre pages copiables
212
Nombre pages imprimables
212
Taille du fichier
25928 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
406,17 €
EAN EPUB SANS DRM
9780080532790
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
406,17 €

Suggestions personnalisées