Saltar al contenido principal

Come join our latest LibraryThing Hunt!

Etiquetatheorem proving

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

Interactive Theorem Proving and Program Development por Yves Bertot (3 veces)
Term Rewriting and All That por Franz Baader (2 veces)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic por Tobias Nipkow (2 veces)
Automated theorem proving : after 25 years por W. W. Bledsoe (1 veces)
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation) por Jörg Siekmann (1 veces)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) por Jörg Siekmann (1 veces)
The Little Prover por Daniel P. Friedman (1 veces)
5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87) por France) Conference on Automated Deduc Savoie Arcs (1 veces)
Studies in automatic programming logic por Zohar Manna (1 veces)
Computer Programming and Formal Systems por P. Braffort (1 veces)
The Computational Logic Handbook (Perspectives in Computing) por Robert S. Boyer (1 veces)
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) por Lawrence C. Paulson (1 veces)
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic por M.J.C. Gordon (1 veces)
Theorem Proving in Higher Order Logics (TPHOLs 2005) por Joe Hurd (1 veces)
Deduction Systems (Texts in Computer Science) por Rolf Socher-Ambrosius (1 veces)
Computational Logic (ACM monograph series) por Robert S. Boyer (1 veces)
Logic, form and function : the mechanization of deductive reasoning por J. A Robinson (1 veces)
Logic and Computation: Interactive Proof with Cambridge LCF por Lawrence C. Paulson (1 veces)
Logic for Computer Science por Jean H. Gallier (1 veces)
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) por Chin-Liang Chang (1 veces)
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) por Donald MacKenzie (1 veces)
Computers and Thought por Edward A. Feigenbaum (1 veces)

Títulos Portadas

Usan esta etiqueta

pmcjones (12), louisedennis (6), draganigajic (3), dakvid (1), bertilak (1), prosfilaes (1), mekaj (1), thomasballinger (1)

Google Books Ngram Viewer

Datos de Books Ngram Viewer

Etiquetas relacionadas

Cargando...

Series relacionadas

Lecture Notes in Computer Science

Texts in Theoretical Computer Science: An EATCS Series

Cambridge Tracts in Theoretical Computer Science

International Conference on Theorem Proving in Higher Order Logics

The Little Schemer series

Grupos de etiquetas relacionados

computer science, logic (5)

AI, artificial intelligence (1)

AI, computers (1)

algebra, programming (1)

artificial intelligence, --fiction (1)

artificial intelligence, chess (1)

artificial intelligence, computers (1)

artificial intelligence, future (1)

artificial intelligence, future, non-fiction, technology (1)

artificial intelligence, logic (1)

artificial intelligence, non-fiction, programming (1)

artificial intelligence, non-fiction, sociology (1)

artificial intelligence, philosophy (1)

chess, computers (1)

chess, history, non-fiction (1)

chess, philosophy (1)

computer science, geometry (1)

math, proof (1)

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

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.