封面图片

QR Code

The little prover /

Saved in:

书目详细资料
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
其他作者:	Bibby, Duane (Illustrator), Moore, J. Strother (Author of introduction, etc.), Felleisen, Matthias (Author of afterword, colophon, etc.)
格式:	电子电子书
语言:	英语
出版:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
主题:	Automatic theorem proving. LISP (Computer program language) Electronic books.
在线阅读:	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)

Proof technology and computation
出版: (2006)

Recent progress in the Boolean domain /
出版: (2014)

AutoCAD platform customization : AutoLISP /
由: Ambrosius, Lee
出版: (2014)

The codewriting workbook creating computational architecture in AutoLISP /
由: Krawczyk, Robert J., 1949-
出版: (2009)

Artificial intelligence and the design of expert systems /
由: Luger, George F.
出版: (1989)

Selectors
由: Jayne, John E. (John Eben), 1943-
出版: (2002)

Completeness theory for propositional logics
由: Pogorzelski, Witold, 1944-
出版: (2008)

Robust processing of spoken situated dialogue a study in human-robot interaction /
由: Lison, Pierre
出版: (2010)

Automated data collection with R : a practical guide to web scraping and text mining /
由: Munzert, Simon
出版: (2015)

Platonic wholes and quantum ontology /
由: Woszczek, Marek, 1980-
出版: (2015)

Lectures on Chern-Weil theory and Witten deformations
由: Zhang, Weiping
出版: (2001)

Gödel's incompleteness theorems
由: Smullyan, Raymond M.
出版: (1992)

C# core language little black book /
由: Wagner, Bill
出版: (2002)

Windows admin scripting little black book
由: Torres, Jesse M.
出版: (2001)

The index theorem and the heat equation method
由: Yu, Yanlin
出版: (2001)

Log-gases and random matrices
由: Forrester, Peter (Peter John)
出版: (2010)

Impossibility the limits of science and the science of limits /
由: Barrow, John D., 1952-
出版: (1998)

Limit theorems for associated random fields and related systems
由: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
出版: (2007)

Constructive dialogue modelling speech interaction and rational agents /
由: Jokinen, Kristiina
出版: (2009)

Addressing techniques of liquid crystal displays /
由: Ruckmongathan, Temkar N.
出版: (2015)

From Pythagoras to Einstein
由: Friedrichs, K. O.
出版: (1965)

Probabilistic applications of Tauberian theorems
由: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
出版: (2005)

Automating Sharepoint 2010 with Windows Powershell 2.0
由: Lapointe, Gary
出版: (2011)

C# game programming for serious game creation /
由: Schuller, Daniel
出版: (2011)

Introduction to computer science using Pascal /
由: Martins, João P.
出版: (1989)

Automatic indexing and abstracting of document texts
由: Moens, Marie-Francine, 1957-
出版: (2000)

Introduction to computer science ... /
由: Hume, J.N.P
出版: (1990)

Let us C /
由: 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)

Information theory and the central limit theorem
由: Johnson, Oliver (Oliver Thomas)
出版: (2004)

Python testing beginner's guide : an easy and convenient approach to testing your Python projects /
由: Arbuckle, Daniel
出版: (2010)

Textual information access statistical models /
出版: (2012)

F# for quantitative finance /
由: Astborg, Johan
出版: (2013)

Arduino robotic projects : build awesome and complex robots with the power of Arduino /
由: Grimmett, Richard
出版: (2014)

The art of assembly language
由: Hyde, Randall
出版: (2003)

The art of Assembly language
由: Hyde, Randall
出版: (2010)

Introduction to JAVA programming : comprehensive version /
由: Liang, Y. Daniel
出版: (2013)

C++ programming fundamentals
由: Easttom, Chuck
出版: (2003)

Professional Swift(Tm) /
由: Dippery, Michael
出版: (2015)