Jürgen Zimmer
According to our database1,
Jürgen Zimmer
authored at least 9 papers
between 2000 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
2000
2001
2002
2003
2004
2005
2006
2007
2008
0
1
2
3
4
1
1
1
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2004
Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004
2002
Proceedings of the Automated Deduction, 2002
Proceedings of the Artificial Intelligence, 2002
2000
Proceedings of the Frontiers of Combining Systems, 2000
Extensions of Constraint Solving for Proof Planning.
Proceedings of the ECAI 2000, 2000