Symbolic logic and mechanical theorem proving

Livre MiitBook

Symbolic logic and mechanical theorem proving

Chin-Liang Chang

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture (compte requis)

Catégories

Artificial intelligence Automatic theorem proving Symbolic and mathematical Logic

MiitBook

Livres similaires

Aucun livre similaire n’est disponible pour le moment. Revenez au catalogue pour poursuivre votre recherche.