Book review: Logic For Applications, Second Edition by Anil Nerode and Richard A. Shore (Springer Verlag 1997).

Alexander Dekhtyar

Published in: SIGACT News (1999)

Keyphrases

springer verlag
classical logic
logic programming
modal logic
automated reasoning
logical framework
computer society
predicate logic
database marketing
real time
information retrieval
artificial intelligence
computational intelligence
nonmonotonic logics
san diego