Search alternatives:
past » part
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Computationally-sound checkers -- Reasoning about the past -- Satisfiability — Algorithms and logic -- The joys...”