Jürgen Zimmer

According to our database1, Jürgen Zimmer authored at least 8 papers between 2000 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
The MathServe System for Semantic Web Reasoning Services.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2004
Constraint Solving for Proof Planning.
J. Autom. Reasoning, 2004

A Framework for Agent-Based Brokering of Reasoning Services.
Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

2002
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
Proceedings of the Automated Deduction, 2002


Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.
Proceedings of the Artificial Intelligence, 2002

2000
Integrating Constraint Solving into Proof Planning.
Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.
Proceedings of the ECAI 2000, 2000


  Loading...