Publikationen von Prof. Dr. Andreas Weber

alle  -  aktuell  -  2020  -  2019  -  2018  -  2017  -  2016  -  2015  -  2014  -  2013  -  2012  -  2011  -  2010  -  2009  -  2008  -  2007  -  2006  -  2005  -  2004  -  2003  -  2002  -  2001  -  2000  -  1999  -  1998  -  1997  -  1996  -  1995  -  1994  -  1993  -  1992  -  1990  -  1985 

Publikationen 1994

 
  
Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence
Jürgen Kunze und Herbert Stoyan (Editoren)
Andreas Weber
In proceedings of KI-94 Workshops - Extended Abstracts, pages 319-320, Gesellschaft für Informatik e.V., Bonn, Sept. 1994
[Details]   [Bibtex]  
 
  
An Application of Quantifier Elimination to Mathematical Biology
J. Fleischer, J. Grabmeier, F. W. Hehl und W. Küchlin (Editoren)
C. Chauvin, M. Müller und Andreas Weber
In proceedings of Computer Algebra in Science and Engineering, Zentrum für Interdisziplinäre Forschung, pages 287-296, World Scientific, Aug. 1994
[Details]   [Bibtex]  
 
  
Using Commutativity Properties for Controlling Coercions
J. Calmet und J. A. Campbell (Editoren)
S. A. Missura und Andreas Weber
In proceedings of Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International Conference (AISMC-2), pages 131-143, Springer-Verlag, Aug. 1994
[Details]   [Bibtex]  
 
  
Algorithms for Type Inference with Coercions
Andreas Weber
In proceedings of Proc. Symposium on Symbolic and Algebraic Computation (ISSAC `94), Association for Computing Machinery, pages 324-329, Juli 1994
[Details]   [Bibtex]