|
981 |
On the Chebyshev rank of bivariate polynomials and splines in L1-approximation Sommer, Manfred. - Eichstätt : Kath. Univ., Math.-Geographische Fak., 2004
|
|
|
982 |
Proof planning with multiple strategies Meier, Andreas, 2004
|
|
|
983 |
Weighted branching automata Meinecke, Ingmar, 2004
|
|
|
984 |
Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2004
|
|
|
985 |
Discrete mathematics and theoretical computer science Berlin : Springer, 2003
|
|
|
986 |
Multivariate polynomial approximation Reimer, Manfred. - Basel : Birkhäuser, c 2003
|
|
|
987 |
Distributive normal forms in the calculus of predicates Hintikka, Jaakko. - Bad Feilnbach : Schmidt Periodocals, 2002, Repr. [der Ausg.] Helsinki, Soc. Philos., 1953
|
|
|
988 |
The need for de-aliasing in a Chebyshev pseudo-spectral method Uhlmann, Markus. - Potsdam : PIK, 2000
|
|
|
989 |
Classifying discrete temporal properties Wilke, Thomas, 1998
|
|
|
990 |
Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, 1997
|
|