Year: 2002

2002 | |

[10] | (Invited) Tutorial Dialog with a Mathematical Assistant System , Computer Science Department, The University of Birmingham, UK, 2002. |

[9] | (Invited tutorial) From Natural Deduction to Sequent Calculus and back , CALCULEMUS Autumn School 2002, Pisa, Italy, 2002. |

[8] | Agent Based Theorem Proving (poster) , AISB, 2002. (poster) |

[7] | Ressource-Adaptive Proof Planning with OMEGA , Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides) |

[6] | Tutorial Dialog with a Mathematical Assistant System , Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides) |

[5] | Agent based proof search with Indexed Formulas , CALCULEMUS 2002, Marseille, France, 2002. (slides) |

[4] | Tutorial Dialog with a Mathematical Assistant System , Computer Science Department, The University of Birmingham, UK, 2002. (slides) |

[3] | Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems , VERIFY'02 Workshop at FLOC 2002, Copenhagen, Denmark, 2002. |

[2] | Proof Development with OMEGA , CADE-18, Copenhagen, Denmark, 2002. (slides) |

[1] | Proof Development with OMEGA: Sqrt(2) is irrational , LPAR 2002, Tbilisi, Georgia,, 2002. (slides) |

Powered by bibtexbrowser