References of Werner Saurer 
|
Order by: Type | Year
|
|
|
|
| |
Gregor Erbach and
Werner Saurer. Review of Handbook of Logic in Artificial Intelligence and Logic Programming. In Artificial Intelligence Review, Vol. 14(6):615-617, 2000.   google
Note: Original publication: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies. [Annote]
|
|
| |
|
Werner Saurer. A Natural Deduction System for Discourse Representation Theory. In Journal of Philosophical Logic, Vol. 22:249-302, 1993. google
|
|
|
|
|
|
| |
|
Werner Saurer. A Natural Deduction System for Discourse Representation Theory. Technical report, CLAUS-Report 16, Universität des Saarlandes, Saarbrücken, December 1991. google
|
|
| |
|
Werner Saurer. A Note on Anaphora and Inference. Technical report, CLAUS-Report 46, Universität des Saarlandes, Saarbrücken, October 1994. [Abstract] google
|
|
|
|
