Cover Image
Read Now

1
by Singh, Narinder
Published 1987
Springer US
Table of Contents: “... Description Language -- 3.2 Syntax and Semantics for Predicate Calculus -- 3.3 Describing Designs -- 3.4...”