Theorem Proving in Higher Order Logics
Subtitle: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Konrad Slind (Editor); Annette Bunker (Editor); Ganesh C. Gopalakrishnan (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 15, 2004
Language: eng
Format: Paperback
Number of pages: 337
ISBN-13: 9783540230175
Subjects: Computer architecture & logic design; Mathematical theory of computation; Mathematics; Computers - General Information; Science/Mathematics; Programming - Software Development; Computer Science; Logic; Logic Design; Mathematics / Logic
First sentence: Signal processing through digital techniques has become increasingly attractive with the rapid technological advancement in digital integrated circuits, devices, and systems.