Springe zum Seiteninhalt
|
Admin
|
Sitemap
|
Impressum
Homepage
Mitarbeiter
Lehre
Aktivitäten
Projekte
Publikationen
Stellen
Aktuelle Seite:
Mitarbeiter
Prof. Dr. Andreas Weber
Publikationen
Publikationen von Prof. Dr. Andreas Weber
Alle Publikationsarten
-
Paper
-
Technical Reports
-
Bücher
-
Dissertation
Suchen:
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]