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)
Lectures on Chern-Weil theory and Witten deformations
: Zhang, Weiping
Հրապարակվել է: (2001)
: Zhang, Weiping
Հրապարակվել է: (2001)
Gödel's incompleteness theorems
: Smullyan, Raymond M.
Հրապարակվել է: (1992)
: Smullyan, Raymond M.
Հրապարակվել է: (1992)
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)
The index theorem and the heat equation method
: Yu, Yanlin
Հրապարակվել է: (2001)
: Yu, Yanlin
Հրապարակվել է: (2001)
Limit theorems for associated random fields and related systems
: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Հրապարակվել է: (2007)
: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Հրապարակվել է: (2007)
Impossibility the limits of science and the science of limits /
: Barrow, John D., 1952-
Հրապարակվել է: (1998)
: Barrow, John D., 1952-
Հրապարակվել է: (1998)
Log-gases and random matrices
: Forrester, Peter (Peter John)
Հրապարակվել է: (2010)
: Forrester, Peter (Peter John)
Հրապարակվել է: (2010)
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)
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)
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)
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)
Information theory and the central limit theorem
: Johnson, Oliver (Oliver Thomas)
Հրապարակվել է: (2004)
: Johnson, Oliver (Oliver Thomas)
Հրապարակվել է: (2004)
Textual information access statistical models /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
Python testing beginner's guide : an easy and convenient approach to testing your Python projects /
: Arbuckle, Daniel
Հրապարակվել է: (2010)
: Arbuckle, Daniel
Հրապարակվել է: (2010)
Arduino robotic projects : build awesome and complex robots with the power of Arduino /
: Grimmett, Richard
Հրապարակվել է: (2014)
: Grimmett, Richard
Հրապարակվել է: (2014)
F# for quantitative finance /
: Astborg, Johan
Հրապարակվել է: (2013)
: Astborg, Johan
Հրապարակվել է: (2013)
The art of Assembly language
: Hyde, Randall
Հրապարակվել է: (2010)
: Hyde, Randall
Հրապարակվել է: (2010)
The art of assembly language
: Hyde, Randall
Հրապարակվել է: (2003)
: Hyde, Randall
Հրապարակվել է: (2003)
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)