Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Website Balder ten Cate
[go: Go Back, main page]
620?'620px':'auto');">
Balder ten Cate
Publications Teaching Personal Links
2005
Automated Reasoning (with David Ahn)
2004
Hybrid Logics (with Massimo Franceschet)
2003
Core Logic (with Johan van Benthem)
2002
Redeneren en Programmeren (with Maarten Marx)
Capita Selecta Semantics and Pragmatics (with Robert van Rooy)
2001
Redeneren en Programmeren (with Maarten Marx)
2000
Redeneren en Programmeren (with Maarten Marx)
Logische technieken in AI (with Mehdi Dastani)

Last modified: Wednesday, 09-Nov-2005 15:54:34 MET Validate HTML     Validate CSS