Cover Image
Read Now

1
by Harrison, J.
Published 2009
Cambridge University Press
Table of Contents: “...'s algebra of logic ; 1.5 Syntax and semantics ; 1.6 Symbolic computation and OCaml ; 1.7 Parsing ; 1.8...”