Werner Saurer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2000

1 Gregor Erbach, Werner Saurer: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. Artif. Intell. Rev. 14(6): 615-617 (2000)

	2000
1		Gregor Erbach, Werner Saurer: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies - Review. Artif. Intell. Rev. 14(6): 615-617 (2000)

Coauthor Index

1 Gregor Erbach [1]