![](https://image.librarything.com/pics/fugue21/magnifier-left.png)
![](https://pics.cdn.librarything.com//picsizes/62/0f/620ff0cbd3697f45a30463177774b3041414141_v7.jpg)
Cliquer sur une vignette pour aller sur Google Books.
Chargement... Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedingspar Nikolaj Bjørner
Aucun Actuellement, il n'y a pas de discussions au sujet de ce livre. Aucune critique aucune critique | ajouter une critique
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc?aw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc. Aucune description trouvée dans une bibliothèque |
Discussion en coursAucunCouvertures populairesAucun
![]() GenresClassification décimale de Melvil (CDD)006.3Information Computer Science; Knowledge and Systems Special Topics Artificial IntelligenceClassification de la Bibliothèque du CongrèsÉvaluationMoyenne: Pas d'évaluation.Est-ce vous ?Devenez un(e) auteur LibraryThing. |