Higher Order Logic Theorem Proving and Its Applications
Subtitle: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)
Contributors: E. Thomas Schubert (Editor); Phillip J. Windley (Editor); James Alves-Foss (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 28, 1995
Language: eng
Format: Paperback
Number of pages: 400
ISBN-13: 9783540602750
Subjects: Computer architecture & logic design; Mathematical logic; Logic, Symbolic and mathematic; Computers - General Information; Machine Theory; Automata; Computer Logic; Mathematics; Logic Design; Science/Mathematics; Congresses; Logic; Circuit Design; Higher Order Logic (HOL); Höherstufige Logik; Mathematics / Logic; Mathematische Logik; Program Verification; Logic, Symbolic and mathematical; Computer Science; Automatic theorem proving