Cover of Higher order logic theorem proving and its applications

Mark as

Higher order logic theorem proving and its applications

by Phillip J. Windley

Buy this book Review

See on goodreads

More by Phillip J. Windley

Cover of Cyber Security

Cover of 1. Fachtagung über Automatentheorie undFormale Sprachen

Cover of Adaptive hypermedia and adaptive Web-based systems

Cover of Advanced information systems engineering

Cover of Advances in cryptology, 1981-1997

Cover of Algebraic Frames for the Perception-Action Cycle

Cover of Algebraic methodology and software technology

Cover of Algebraic Methods

Cover of Algorithm theory

Cover of Anaphora in Natural Language Understanding

Cover of An Attribute grammar for the semantic analysis of ADA

Cover of Articulated motion and deformable objects

Cover of Automata, Languages and Programming

Cover of Computer Aided Vertification

Cover of Computer science logic

Cover of Conceptual modeling

Cover of Concurrency theory

Cover of Distributed Programming Paradigms with Cryptography Applications

Lecture Notes in Computer Science

Erfahrungen mit 1500 Averti...

Cover of Evolutionary programming VII

Cover of Implementation of functional languages

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment