Search alternatives:
geomathematical applications » metamathematical applications, mathematical applications, mathematical application
22mathematical applications » mathematical applications, mathematical application, mathematica applications
medical sciences » social sciences

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...