Computer Arithmetic and Formal Proofs
Publisher: Elsevier; ISTE Press - Elsevier
Published: 2017
Language: eng
Number of pages: 353
ISBN-13: 9781785481123
Subjects: Proof theory; Algorithms