YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
Yurtseven.ORG
 Yurtseven.ORG
     
HOME host:www.tcs.informatik.uni-muenchen.de  Search for:  host:www.tcs.informatik.uni-muenchen.de
 
Sort by Sort by          Date Sort by       Alphabetical Sort by       Category Sort by

Showing  1 - 3  of total  3  results  [ 0.402  seconds ]  


 
   
   1 quotes  07-January-2012 
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.


     [similar pages] 


 
 2 - Hofmann, Martin Browse Website open in new window
   
   1 quotes  07-January-2012 
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.


     [similar pages] 


 
 3 - Johannsen, Jan Browse Website open in new window
   
   1 quotes  07-January-2012 
University of München.


     [similar pages] 




Easy Web Admin


Add URL  |  My Sites  |  My Account  |  Login  |  Contact Us