Persian City! The most comprehensive Iranian yellowpages on the net!
DIRECTORY
RECIPES
WEB
News
VIDEOS
TV & RADIO
CHAT
CLASSIFIEDS
Results in:       Any Language      English
Open Web Directory
Web Directory - Computers: Computer Science: People: U
[A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|UV|W|X|Y|Z]
  • Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.




 
Suggest a Business   |   Business Directory (Yellow pages)   |   Persian Recipes   |   Iran News   |   Iranian TV & Radio   |   Videos   |   Advertise With Us