Clicky

Higher order logic theorem proving and its applications by Phillip J. Windley and similar books you'll love - Bookscovery

Home > Authors > Phillip J. Windley > Higher order logic theorem proving and its applications

Buy at: Bookshop.org Amazon

Higher order logic theorem proving and its applications

Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis

See on goodreads

Recent activity

Rate this book to see your activity here.

21 Books Similar to Higher order logic theorem proving and its applications by Phillip J. Windley

Bookscovery readers who liked Higher order logic theorem proving and its applications also like Cyber Security, 1. Fachtagung über Automatentheorie undFormale Sprachen and Advanced information systems engineering. How many of these have you read?

Cyber Security by Kristin Haltinner

Cover of Cyber Security
Buy this book at:
Bookshop.org Amazon

1. Fachtagung über Automatentheorie undFormale Sprachen by Gerhard Goos

Cover of 1. Fachtagung über Automatentheorie undFormale Sprachen
Buy this book at:
Bookshop.org Amazon

Advanced information systems engineering by M. Jarke

Cover of Advanced information systems engineering
Buy this book at:
Bookshop.org Amazon

Advances in cryptology, 1981-1997 by Gerhard Goos

Cover of Advances in cryptology, 1981-1997
Buy this book at:
Bookshop.org Amazon

Algebraic Frames for the Perception-Action Cycle by Gerald Sommer

Cover of Algebraic Frames for the Perception-Action Cycle
Buy this book at:
Bookshop.org Amazon

Algebraic Methods by Gerhard Goos

Cover of Algebraic Methods
Buy this book at:
Bookshop.org Amazon

Algorithm theory by Gerhard Goos

Cover of Algorithm theory
Buy this book at:
Bookshop.org Amazon

Anaphora in Natural Language Understanding by Gerhard Goos

Cover of Anaphora in Natural Language Understanding
Buy this book at:
Bookshop.org Amazon

An Attribute grammar for the semantic analysis of ADA by J. Uhl

Cover of An Attribute grammar for the semantic analysis of ADA
Buy this book at:
Bookshop.org Amazon

Articulated motion and deformable objects by Hans-Hellmut Nagel

Cover of Articulated motion and deformable objects
Buy this book at:
Bookshop.org Amazon

Automata, Languages and Programming by Kim G. Larsen

Cover of Automata, Languages and Programming
Buy this book at:
Bookshop.org Amazon

Computer Aided Vertification by Gerhard Goos

Cover of Computer Aided Vertification
Buy this book at:
Bookshop.org Amazon

Computer science logic by Helmut Schwichtenberg

Cover of Computer science logic
Buy this book at:
Bookshop.org Amazon

Conceptual modeling by Gerhard Goos

Cover of Conceptual modeling
Buy this book at:
Bookshop.org Amazon

Concurrency theory by Davide Sangiorgi

Cover of Concurrency theory
Buy this book at:
Bookshop.org Amazon

Distributed Programming Paradigms with Cryptography Applications Lecture Notes in Computer Science by Gerhard Goos

Cover of Distributed Programming Paradigms with Cryptography Applications Lecture Notes in Computer Science
Buy this book at:
Bookshop.org Amazon

Erfahrungen mit 1500 Avertinnarkosen by Gerhard Goos

Cover of Erfahrungen mit 1500 Avertinnarkosen
Buy this book at:
Bookshop.org Amazon

Evolutionary programming VII by N. Saravanan

Cover of Evolutionary programming VII
Buy this book at:
Bookshop.org Amazon

Implementation of functional languages by Pieter Koopman

Cover of Implementation of functional languages
Buy this book at:
Bookshop.org Amazon

Informatics and medicine by Gerhard Goos

Cover of Informatics and medicine
Buy this book at:
Bookshop.org Amazon

Informatics and Medicine by P. L. Reichertz

Cover of Informatics and Medicine
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Higher order logic theorem proving and its applications

Please sign in to leave a comment