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