Logic for computer science View on Open Library

Logic for computer science

by Jean H. Gallier

No reviews yet
First published: 1985 1 language ISBN: 9780471603283
Subjects
Automatic theorem proving Symbolic and mathematical Logic Logic, symbolic and mathematical MATHEMATICS / Logic

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jean H. Gallier

Linear Algebra and Optimization with Applications to Machine Learning - Volume I

Linear Algebra and Optimization with App...

Curves and surfaces in geometric modeling

Curves and surfaces in geometric modelin...

A guide to the classification theorem for compact surfaces

A guide to the classification theorem fo...

Linear Algebra and Optimization with Applications to Machine Learning - Volume II

Linear Algebra and Optimization with App...

Linear Algebra and Optimization with Applications to Machine Learning

Linear Algebra and Optimization with App...

Homology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry

Homology, Cohomology, and Sheaf Cohomolo...

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic Programming

Logic Programming

James H. Andrews
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated deduction

Automated deduction

W. Bibel
Automated Reasoning

Automated Reasoning

Larry Wos