Passer au contenu principal

Mot-cléautomatic theorem proving

Comprend: automatic theorem proving, Automatic Theorem Proving

Oeuvres étiquetées

Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings par Tevfik Bultan (1 fois)
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings par Kai Brünnler (1 fois)
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : revised selected papers par Pascal Schreck (1 fois)
Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers par Thomas Sturm (1 fois)
Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings par Nikolaj Bjørner (1 fois)
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings par Marko Eekelen (1 fois)
Algorithmic Decision Theory : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings par Ronen I. Brafman (1 fois)
Unity in Action: Multiplatform Game Development in C# with Unity 5 par Joe Hocking (1 fois)
The Little Prover par Daniel P. Friedman (1 fois)
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure par Christian Herde (1 fois)
First-Order Logic and Automated Theorem Proving par Melvin Fitting (1 fois)

Titres Couvertures

Utilise le mot clé

updgenref (8), briggslib (2), BalliolLibrary (1)

Google Books Ngram Viewer

Données du Books Ngram Viewer

Mots-clés connexes

Chargement en cours...

Séries associées

Graduate Texts in Computer Science

The Little Schemer series

Ensembles associés de mots-clés

computer science, logic (2)

algebra, geometry (1)

game development, unity (1)

math, proof (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.