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