Formal Methods in Artificial Intelligence

Ramsay, Allan M.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
292
Parution
juillet 1991
Format
Livre broché
Langue
Anglais
Dimensions
244 × 170 × 16 cm
EAN
9780521424219
  • Résumé

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page