Livre MiitBook

Logic for computer science

Jean H. Gallier

Parution : 2009

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture

Catégories

Automatic theorem proving Symbolic and mathematical Logic Logic, symbolic and mathematical MATHEMATICS / Logic

Mots-clés

Automatic theorem proving Symbolic and mathematical Logic Logic, symbolic and mathematical MATHEMATICS / Logic

MiitBook

Livres similaires

English

Parution : 1971

Strategies for improving the efficiency of automatic theorem-proving

Donald Kuehner

Voir le livre

English

Parution : 1983

Completely non-clausal, completely neuristically driven, automatic theorem proving

Francis Jeffry Pelletier

Voir le livre

English

Parution : 1984

Automated theorem proving

Special Session on Automatic Theorem Proving (1983 Denver, Colo.)

Voir le livre

English

Parution : 1974

Some results in automatic theorem-proving with applications in elementary set theory and topology

Roberto Lins de Carvalho

Voir le livre

Symbolic logic and mechanical theorem proving

English

Parution : 1973

Symbolic logic and mechanical theorem proving

Chin-Liang Chang

Voir le livre

English

Parution : 1983

Understanding Symbolic Logic

Virginia Klenk, Markosian

Voir le livre

Discrete Mathematics and Its Applications

English

Parution : 1988★ 4.7

Discrete Mathematics and Its Applications

Kenneth H. Rosen

Voir le livre

Langue : DE · Parution : 1940★ 0.0

Mathematical logic

Willard Van Orman Quine

Voir le livre