Formal Methods in Artificial Intelligence

Ramsay, Allan

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
Mongodb in Action Banker, Kyle Bakkum, Peter Hawkins, Tim
Functional Programming in Scala Chiusano, Paul Bjarnason, Runar
Exam Ref 70-483: Programming in C# Bankes, Tim Hatter, Dave Plunkett, Glenn
Adobe InDesign CS6 Classroom in a Book Adobe Creative Team CHF 51.80
Digital Methods Rogers, Richard CHF 41.50
Retour en haut de page