Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
by Martin Davis
$67.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783662488980
1
Details
- Format
- Paperback
- ISBN-13
- 9783662488980
- Publisher
- Springer
- Published
- December 3, 2015
- Pages
- 640
- Weight
- 32 oz
- Subject
- Computers
More by Martin Davis
All booksExtensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Martin Davis
$15.99
A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
Martin Davis
$228.99
Handmaiden of The Sun: Book One - Realisation
Handmaiden of The Sun: Book One - Realisation
Martin Davis
$17.99
The Harvest War
The Harvest War
Martin Davis
$14.99
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Martin Davis
$20.99
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving
Martin Davis
$28.99
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
Martin Davis
$15.99
Astrolocality Astrology: A Guide to What It Is and How to Use It
Astrolocality Astrology: A Guide to What It Is and How to Use It
Martin Davis
$20.99
Lecture Notes on Mathematical Logic: Fall 1959
Lecture Notes on Mathematical Logic: Fall 1959
Martin Davis
$26.99
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Martin Davis
$128.99
From Here to There
From Here to There
Martin Davis
$28.99
Applied Nonstandard Analysis
Applied Nonstandard Analysis
Martin Davis
$12.99
Popular in Computers
Browse Computers
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
Automate the Boring Stuff with Python, 3rd Edition
Al Sweigart
$50.99
Build an AI Agent (from Scratch): Agents That Reason, Plan, and ACT Autonomously
Jungjun Hur
$65.99
The Spacecraft Hacker's Handbook: Exploiting Ground Stations, Flight Software, and Satellite Terminals
Andrzej Olchawa
$58.99
Generative Engine Optimization: The Definitive Guide to AI SEO
Ross Hudgens
$23.99
Microsoft Excel 365 Bible
Michael Alexander
$47.99
Embedded AI: Intelligence at the Deep Edge
David Such
$65.99
AI Agents and Applications: With Langchain, Langgraph, and MCP
Roberto Infante
$65.99
Unbreakable: Secure Your Digital Life in a World Built to Breach You
Phillip Shoemaker
$23.99