A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Gebundenes Buch

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

Versandkostenfrei!
Versandfertig in über 4 Wochen
29,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
15 °P sammeln!
"A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design" explores innovative methods in automated theorem proving, a crucial area within artificial intelligence and computer science. This work delves into a hierarchical approach aimed at enhancing the efficiency and effectiveness of mechanical theorem proving systems. The research focuses on applying these techniques to the design and development of programming languages, suggesting potential advancements in language construction and validation. Authored by Norman Rubin, this study from 1975 ...