صورة الغلاف

QR رمز

The little prover /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Friedman, Daniel P. (مؤلف), Eastlund, Carl (مؤلف)
مؤلفون آخرون:	Bibby, Duane (المصور), Moore, J. Strother (كاتب المقدمة، إلخ.), Felleisen, Matthias (مؤلف الخاتمة، الافتتاحية، إلخ.)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	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)

Gödel's incompleteness theorems
حسب: Smullyan, Raymond M.
منشور في: (1992)

Lectures on Chern-Weil theory and Witten deformations
حسب: Zhang, Weiping
منشور في: (2001)

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)

Log-gases and random matrices
حسب: Forrester, Peter (Peter John)
منشور في: (2010)

The index theorem and the heat equation method
حسب: Yu, Yanlin
منشور في: (2001)

C# core language little black book /
حسب: Wagner, Bill
منشور في: (2002)

Windows admin scripting little black book
حسب: Torres, Jesse M.
منشور في: (2001)

Probabilistic applications of Tauberian theorems
حسب: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
منشور في: (2005)

From Pythagoras to Einstein
حسب: Friedrichs, K. O.
منشور في: (1965)

Constructive dialogue modelling speech interaction and rational agents /
حسب: Jokinen, Kristiina
منشور في: (2009)

Addressing techniques of liquid crystal displays /
حسب: Ruckmongathan, Temkar N.
منشور في: (2015)

Automating Sharepoint 2010 with Windows Powershell 2.0
حسب: Lapointe, Gary
منشور في: (2011)

C# game programming for serious game creation /
حسب: Schuller, Daniel
منشور في: (2011)

Automatic indexing and abstracting of document texts
حسب: Moens, Marie-Francine, 1957-
منشور في: (2000)

Introduction to computer science using Pascal /
حسب: Martins, João P.
منشور في: (1989)

Information theory and the central limit theorem
حسب: Johnson, Oliver (Oliver Thomas)
منشور في: (2004)

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)

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)

Perl power! the comprehensive guide /
حسب: Flynt, John P.
منشور في: (2006)