The little prover /
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Massachusetts ; London, [England] :
The MIT Press,
2015.
|
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Conditional and preferential logics proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)
by: Pozzato, Gian Luca
Published: (2010)
Proof technology and computation
Published: (2006)
Published: (2006)
Recent progress in the Boolean domain /
Published: (2014)
Published: (2014)
AutoCAD platform customization : AutoLISP /
by: Ambrosius, Lee
Published: (2014)
by: Ambrosius, Lee
Published: (2014)
The codewriting workbook creating computational architecture in AutoLISP /
by: Krawczyk, Robert J., 1949-
Published: (2009)
by: Krawczyk, Robert J., 1949-
Published: (2009)
Artificial intelligence and the design of expert systems /
by: Luger, George F.
Published: (1989)
by: Luger, George F.
Published: (1989)
Selectors
by: Jayne, John E. (John Eben), 1943-
Published: (2002)
by: Jayne, John E. (John Eben), 1943-
Published: (2002)
Completeness theory for propositional logics
by: Pogorzelski, Witold, 1944-
Published: (2008)
by: Pogorzelski, Witold, 1944-
Published: (2008)
Robust processing of spoken situated dialogue a study in human-robot interaction /
by: Lison, Pierre
Published: (2010)
by: Lison, Pierre
Published: (2010)
Automated data collection with R : a practical guide to web scraping and text mining /
by: Munzert, Simon
Published: (2015)
by: Munzert, Simon
Published: (2015)
Platonic wholes and quantum ontology /
by: Woszczek, Marek, 1980-
Published: (2015)
by: Woszczek, Marek, 1980-
Published: (2015)
Gödel's incompleteness theorems
by: Smullyan, Raymond M.
Published: (1992)
by: Smullyan, Raymond M.
Published: (1992)
Lectures on Chern-Weil theory and Witten deformations
by: Zhang, Weiping
Published: (2001)
by: Zhang, Weiping
Published: (2001)
The index theorem and the heat equation method
by: Yu, Yanlin
Published: (2001)
by: Yu, Yanlin
Published: (2001)
Limit theorems for associated random fields and related systems
by: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Published: (2007)
by: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Published: (2007)
Impossibility the limits of science and the science of limits /
by: Barrow, John D., 1952-
Published: (1998)
by: Barrow, John D., 1952-
Published: (1998)
Log-gases and random matrices
by: Forrester, Peter (Peter John)
Published: (2010)
by: Forrester, Peter (Peter John)
Published: (2010)
C# core language little black book /
by: Wagner, Bill
Published: (2002)
by: Wagner, Bill
Published: (2002)
Windows admin scripting little black book
by: Torres, Jesse M.
Published: (2001)
by: Torres, Jesse M.
Published: (2001)
Probabilistic applications of Tauberian theorems
by: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Published: (2005)
by: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Published: (2005)
From Pythagoras to Einstein
by: Friedrichs, K. O.
Published: (1965)
by: Friedrichs, K. O.
Published: (1965)
Constructive dialogue modelling speech interaction and rational agents /
by: Jokinen, Kristiina
Published: (2009)
by: Jokinen, Kristiina
Published: (2009)
Addressing techniques of liquid crystal displays /
by: Ruckmongathan, Temkar N.
Published: (2015)
by: Ruckmongathan, Temkar N.
Published: (2015)
Automating Sharepoint 2010 with Windows Powershell 2.0
by: Lapointe, Gary
Published: (2011)
by: Lapointe, Gary
Published: (2011)
Automatic indexing and abstracting of document texts
by: Moens, Marie-Francine, 1957-
Published: (2000)
by: Moens, Marie-Francine, 1957-
Published: (2000)
C# game programming for serious game creation /
by: Schuller, Daniel
Published: (2011)
by: Schuller, Daniel
Published: (2011)
Introduction to computer science using Pascal /
by: Martins, João P.
Published: (1989)
by: Martins, João P.
Published: (1989)
Information theory and the central limit theorem
by: Johnson, Oliver (Oliver Thomas)
Published: (2004)
by: Johnson, Oliver (Oliver Thomas)
Published: (2004)
Introduction to computer science ... /
by: Hume, J.N.P
Published: (1990)
by: Hume, J.N.P
Published: (1990)
Let us C /
by: Kanetkar, Yashavant
Published: (2016)
by: Kanetkar, Yashavant
Published: (2016)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
by: Saxena, Shiti
Published: (2013)
by: Saxena, Shiti
Published: (2013)
Textual information access statistical models /
Published: (2012)
Published: (2012)
Arduino robotic projects : build awesome and complex robots with the power of Arduino /
by: Grimmett, Richard
Published: (2014)
by: Grimmett, Richard
Published: (2014)
Python testing beginner's guide : an easy and convenient approach to testing your Python projects /
by: Arbuckle, Daniel
Published: (2010)
by: Arbuckle, Daniel
Published: (2010)
F# for quantitative finance /
by: Astborg, Johan
Published: (2013)
by: Astborg, Johan
Published: (2013)
The art of assembly language
by: Hyde, Randall
Published: (2003)
by: Hyde, Randall
Published: (2003)