Algopix Logo
Low Inventory

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Part Number
Illustrated
Authors
Chang, Chin-Liang, Lee, Richard Char-Tung
Edition
1
Genre
MATHEMATICS
Label
Academic Press
Content Languages
[object Object], [object Object], [object Object]
Number Of Items
1
Number Of Pages
331
Publication Date
1973-06-11
Publisher
Academic Press
Studio
Academic Press
Lang
en-US

Product Identifiers

AIDAlgopix unique identifier
AIDPNH0Z5001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Shipping Dimensions

Width
6.38 in.
Length
9.37 in.
Height
1.1 in.
Weight
21.92 oz.

Product Dimensions

Width
0.81 in.
Length
6 in.
Height
9 in.
Weight
22.56 oz.

Similar Items

Algopix Similar Product 1 - The Future of the Professions How

The Future of the Professions: How Technology Will Transform the Work of Human Experts

Algopix Similar Product 2 - Artificial Intelligence and Intelligent

Artificial Intelligence and Intelligent Systems

Algopix Similar Product 3 - Future You Essential Future

Future You: Essential Future Technologies You Need To Know To Survive The Digital Era

Algopix Similar Product 4 - Machine Learning with Spark and Python

Machine Learning with Spark and Python: Essential Techniques for Predictive Analytics

Algopix Similar Product 5 - Python for Beginners Master Data

Python for Beginners: Master Data Science, Artificial Intelligence and Machine Learning with this Smart Python Programming Language Guide (Learn Python ... data analysis and machine learning)

Algopix Similar Product 6 - Swarm Intelligence The Morgan Kaufmann

Swarm Intelligence (The Morgan Kaufmann Series in Evolutionary Computation)

Algopix Similar Product 7 - Genetic Algorithms in Java Basics

Genetic Algorithms in Java Basics

Algopix Similar Product 8 - Blockchain Basics A NonTechnical

Blockchain Basics: A Non-Technical Introduction in 25 Steps

Algopix Similar Product 9 - CyberParks The Interface Between

CyberParks – The Interface Between People, Places and Technology: New Approaches and Perspectives (Lecture Notes in Computer Science (11380))

Algopix Similar Product 10 - The Hundred-Page Machine Learning Book

The Hundred-Page Machine Learning Book

Algopix Similar Product 11 - RealTime Systems Design Principles

Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)

Algopix Similar Product 12 - Enhanced Building Information Models

Enhanced Building Information Models: Using IoT Services and Integration Patterns (SpringerBriefs in Computer Science)

Algopix Similar Product 13 - OCAOCP Oracle Database 12c AllinOne

OCA/OCP Oracle Database 12c All-in-One Exam Guide (Exams 1Z0-061, 1Z0-062, & 1Z0-063)

Algopix Similar Product 14 - Interactive Storytelling First Joint

Interactive Storytelling: First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008, ... (Lecture Notes in Computer Science (5334))

Algopix Similar Product 15 - Decoding the Universe How the New

Decoding the Universe: How the New Science of Information Is Explaining Everything in the Cosmos, from Our Brains to Black Holes

Algopix Similar Product 16 - Algebraic Methodology and Software

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science (6486))

Algopix Similar Product 17 - Information Technology in Disaster Risk

Information Technology in Disaster Risk Reduction: 4th IFIP TC 5 DCITDRR International Conference, ITDRR 2019, Kyiv, Ukraine, October 9–10, 2019, ... and Communication Technology (575))

Algopix Similar Product 18 - The Myths of Security What the

The Myths of Security: What the Computer Security Industry Doesn't Want You to Know

Algopix Similar Product 19 - Decode and Conquer Answers to Product

Decode and Conquer: Answers to Product Management Interviews

Algopix Similar Product 20 - Internet of Things Information

Internet of Things. Information Processing in an Increasingly Connected World: First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at ... and Communication Technology (548))

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.