Are you sure you want to log out?
A logic programming framework for modeling temporal objects
ABOUT BOOK
Published versio