Bearbmagovva

QR-koda

The little prover /

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkkit:	Friedman, Daniel P. (Dahkki), Eastlund, Carl (Dahkki)
Eará dahkkit:	Bibby, Duane (Illustrerejeaddji), Moore, J. Strother (Ovdasága dahkki), Felleisen, Matthias (Maŋŋesániid, kolofona jna. dahkki)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Fáttát:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Liŋkkat:	An electronic book accessible through the World Wide Web; click to view
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Conditional and preferential logics proof methods and theorem proving /
Dahkki: Pozzato, Gian Luca
Almmustuhtton: (2010)

Proof technology and computation
Almmustuhtton: (2006)

Recent progress in the Boolean domain /
Almmustuhtton: (2014)

AutoCAD platform customization : AutoLISP /
Dahkki: Ambrosius, Lee
Almmustuhtton: (2014)

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

Artificial intelligence and the design of expert systems /
Dahkki: Luger, George F.
Almmustuhtton: (1989)

Selectors
Dahkki: Jayne, John E. (John Eben), 1943-
Almmustuhtton: (2002)

Completeness theory for propositional logics
Dahkki: Pogorzelski, Witold, 1944-
Almmustuhtton: (2008)

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

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

Platonic wholes and quantum ontology /
Dahkki: Woszczek, Marek, 1980-
Almmustuhtton: (2015)

Gödel's incompleteness theorems
Dahkki: Smullyan, Raymond M.
Almmustuhtton: (1992)

Lectures on Chern-Weil theory and Witten deformations
Dahkki: Zhang, Weiping
Almmustuhtton: (2001)

C# core language little black book /
Dahkki: Wagner, Bill
Almmustuhtton: (2002)

Windows admin scripting little black book
Dahkki: Torres, Jesse M.
Almmustuhtton: (2001)

Impossibility the limits of science and the science of limits /
Dahkki: Barrow, John D., 1952-
Almmustuhtton: (1998)

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

The index theorem and the heat equation method
Dahkki: Yu, Yanlin
Almmustuhtton: (2001)

Log-gases and random matrices
Dahkki: Forrester, Peter (Peter John)
Almmustuhtton: (2010)

Constructive dialogue modelling speech interaction and rational agents /
Dahkki: Jokinen, Kristiina
Almmustuhtton: (2009)

Addressing techniques of liquid crystal displays /
Dahkki: Ruckmongathan, Temkar N.
Almmustuhtton: (2015)

Probabilistic applications of Tauberian theorems
Dahkki: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Almmustuhtton: (2005)

From Pythagoras to Einstein
Dahkki: Friedrichs, K. O.
Almmustuhtton: (1965)

Automating Sharepoint 2010 with Windows Powershell 2.0
Dahkki: Lapointe, Gary
Almmustuhtton: (2011)

Automatic indexing and abstracting of document texts
Dahkki: Moens, Marie-Francine, 1957-
Almmustuhtton: (2000)

C# game programming for serious game creation /
Dahkki: Schuller, Daniel
Almmustuhtton: (2011)

Introduction to computer science using Pascal /
Dahkki: Martins, João P.
Almmustuhtton: (1989)

Introduction to computer science ... /
Dahkki: Hume, J.N.P
Almmustuhtton: (1990)

Let us C /
Dahkki: Kanetkar, Yashavant
Almmustuhtton: (2016)

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

Information theory and the central limit theorem
Dahkki: Johnson, Oliver (Oliver Thomas)
Almmustuhtton: (2004)

Textual information access statistical models /
Almmustuhtton: (2012)

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

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

F# for quantitative finance /
Dahkki: Astborg, Johan
Almmustuhtton: (2013)

The art of Assembly language
Dahkki: Hyde, Randall
Almmustuhtton: (2010)

The art of assembly language
Dahkki: Hyde, Randall
Almmustuhtton: (2003)

Introduction to JAVA programming : comprehensive version /
Dahkki: Liang, Y. Daniel
Almmustuhtton: (2013)

C++ programming fundamentals
Dahkki: Easttom, Chuck
Almmustuhtton: (2003)

Professional Swift(Tm) /
Dahkki: Dippery, Michael
Almmustuhtton: (2015)