Obálka

QR kód

The little prover /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Friedman, Daniel P. (Autor), Eastlund, Carl (Autor)
Další autoři:	Bibby, Duane (Ilustrátor), Moore, J. Strother (Autor úvodu atd.), Felleisen, Matthias (Autor doslovu, tiráže atd.)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Témata:	Automatic theorem proving. LISP (Computer program language) Electronic books.
On-line přístup:	An electronic book accessible through the World Wide Web; click to view
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Conditional and preferential logics proof methods and theorem proving /
Autor: Pozzato, Gian Luca
Vydáno: (2010)

Proof technology and computation
Vydáno: (2006)

Recent progress in the Boolean domain /
Vydáno: (2014)

AutoCAD platform customization : AutoLISP /
Autor: Ambrosius, Lee
Vydáno: (2014)

The codewriting workbook creating computational architecture in AutoLISP /
Autor: Krawczyk, Robert J., 1949-
Vydáno: (2009)

Artificial intelligence and the design of expert systems /
Autor: Luger, George F.
Vydáno: (1989)

Selectors
Autor: Jayne, John E. (John Eben), 1943-
Vydáno: (2002)

Completeness theory for propositional logics
Autor: Pogorzelski, Witold, 1944-
Vydáno: (2008)

Robust processing of spoken situated dialogue a study in human-robot interaction /
Autor: Lison, Pierre
Vydáno: (2010)

Automated data collection with R : a practical guide to web scraping and text mining /
Autor: Munzert, Simon
Vydáno: (2015)

Platonic wholes and quantum ontology /
Autor: Woszczek, Marek, 1980-
Vydáno: (2015)

Lectures on Chern-Weil theory and Witten deformations
Autor: Zhang, Weiping
Vydáno: (2001)

Gödel's incompleteness theorems
Autor: Smullyan, Raymond M.
Vydáno: (1992)

C# core language little black book /
Autor: Wagner, Bill
Vydáno: (2002)

Windows admin scripting little black book
Autor: Torres, Jesse M.
Vydáno: (2001)

The index theorem and the heat equation method
Autor: Yu, Yanlin
Vydáno: (2001)

Log-gases and random matrices
Autor: Forrester, Peter (Peter John)
Vydáno: (2010)

Limit theorems for associated random fields and related systems
Autor: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Vydáno: (2007)

Impossibility the limits of science and the science of limits /
Autor: Barrow, John D., 1952-
Vydáno: (1998)

Constructive dialogue modelling speech interaction and rational agents /
Autor: Jokinen, Kristiina
Vydáno: (2009)

Probabilistic applications of Tauberian theorems
Autor: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Vydáno: (2005)

From Pythagoras to Einstein
Autor: Friedrichs, K. O.
Vydáno: (1965)

Addressing techniques of liquid crystal displays /
Autor: Ruckmongathan, Temkar N.
Vydáno: (2015)

Automating Sharepoint 2010 with Windows Powershell 2.0
Autor: Lapointe, Gary
Vydáno: (2011)

C# game programming for serious game creation /
Autor: Schuller, Daniel
Vydáno: (2011)

Automatic indexing and abstracting of document texts
Autor: Moens, Marie-Francine, 1957-
Vydáno: (2000)

Introduction to computer science using Pascal /
Autor: Martins, João P.
Vydáno: (1989)

Introduction to computer science ... /
Autor: Hume, J.N.P
Vydáno: (1990)

Let us C /
Autor: Kanetkar, Yashavant
Vydáno: (2016)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Autor: Saxena, Shiti
Vydáno: (2013)

Information theory and the central limit theorem
Autor: Johnson, Oliver (Oliver Thomas)
Vydáno: (2004)

Textual information access statistical models /
Vydáno: (2012)

Python testing beginner's guide : an easy and convenient approach to testing your Python projects /
Autor: Arbuckle, Daniel
Vydáno: (2010)

F# for quantitative finance /
Autor: Astborg, Johan
Vydáno: (2013)

Arduino robotic projects : build awesome and complex robots with the power of Arduino /
Autor: Grimmett, Richard
Vydáno: (2014)

The art of assembly language
Autor: Hyde, Randall
Vydáno: (2003)

The art of Assembly language
Autor: Hyde, Randall
Vydáno: (2010)

Introduction to JAVA programming : comprehensive version /
Autor: Liang, Y. Daniel
Vydáno: (2013)

C++ programming fundamentals
Autor: Easttom, Chuck
Vydáno: (2003)

Perl power! the comprehensive guide /
Autor: Flynt, John P.
Vydáno: (2006)