Ulrich Wendl

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1989

1 Ulrich Wendl: Review of Automated Reasoning: Thirty-Three Basic Research Problems. AI Magazine 10(3): 103 (1989)