The little prover /
-д хадгалсан:
| Үндсэн зохиолчид: | , |
|---|---|
| Бусад зохиолчид: | , , |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Cambridge, Massachusetts ; London, [England] :
The MIT Press,
2015.
|
| Нөхцлүүд: | |
| Онлайн хандалт: | An electronic book accessible through the World Wide Web; click to view |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Ижил төстэй зүйлс
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)
Impossibility the limits of science and the science of limits /
-н: Barrow, John D., 1952-
Хэвлэсэн: (1998)
-н: Barrow, John D., 1952-
Хэвлэсэн: (1998)
Limit theorems for associated random fields and related systems
-н: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Хэвлэсэн: (2007)
-н: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Хэвлэсэн: (2007)
Log-gases and random matrices
-н: Forrester, Peter (Peter John)
Хэвлэсэн: (2010)
-н: Forrester, Peter (Peter John)
Хэвлэсэн: (2010)
The index theorem and the heat equation method
-н: Yu, Yanlin
Хэвлэсэн: (2001)
-н: Yu, Yanlin
Хэвлэсэн: (2001)
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)
C# game programming for serious game creation /
-н: Schuller, Daniel
Хэвлэсэн: (2011)
-н: Schuller, Daniel
Хэвлэсэн: (2011)
Automatic indexing and abstracting of document texts
-н: Moens, Marie-Francine, 1957-
Хэвлэсэн: (2000)
-н: Moens, Marie-Francine, 1957-
Хэвлэсэн: (2000)
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)