A Computational Logic

• 1 January 1979
• book
• Published by Elsevier
• https://doi.org/10.1016/c2013-0-10411-4

Abstract

Keywords

• COMPUTATIONAL LOGIC
• DESTRUCTORS
• REWRITING
• COMPUTING
• FUNCTIONS
• PRECISE
• INFINITE
• SIMPLIFY
• LEMMAS