| Document Date: 2005-06-15 17:27:45 Open Document File Size: 90,11 KBShare Result on Facebook
Company Cambridge University Press / Ablex Publishing / / / IndustryTerm update operator / natural solution / transition systems / formal machinery / revision operator / little formal machinery / metric transition systems / / Organization James P. Delgrande School of Computing Science Simon Fraser University Burnaby / Cambridge University / / Person Formal Theories / Ai / Morgan Kaufmann / Aaron Hunter / / Position editor / /
SocialTag |