Cover Image
Read Now

1
Published 1998
Springer US
Table of Contents: “... -- 2.1 Introduction -- 2.2 First-Order Logic (FOL) -- 2.3 Modal Logics -- 2.4 Logic Programming -- 2.5...”