Robert S. Boyer – författare
Visar alla böcker från författaren Robert S. Boyer. Handla med fri frakt och snabb leverans.
2 produkter
Computational Logic Handbook
Formerly Notes and Reports in Computer Science and Applied Mathematics
Av J Strother Moore, Robert S. Boyer m. fl.
E-bok, 2014
807 kr
Lägg i varukorg
Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving system, including a primer for the logic as a functional programming language, an introduction to proofs in the logic, …
Computational Logic
Av J Strother Moore, Robert S. Boyer m. fl.
E-bok, 2014
783 kr
Lägg i varukorg
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the …
