| Document Date: 2010-11-17 11:26:53 Open Document File Size: 598,17 KBShare Result on Facebook
IndustryTerm given communication protocols / cognitive applications / formal tool / transition systems / applications such systems / cognitive processing / / Organization Department of Philosophy / / Person Jan van Eijck / Floyd-Hoare Logic / Martin Stokhof / Floyd-Hoare Reasoning / / Position researcher / speaker / / ProgrammingLanguage Haskell / Java / C / / Technology Java / given communication protocols / /
SocialTag |