|
951 |
From constructive mathematics to computable analysis via the realizability interpretation
Lietz, Peter, 2004
|
|
|
|
952 |
Lim+, δ+ [delta+], and non-permutability of β-steps [beta-steps]
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
|
|
|
|
953 |
On the Chebyshev rank of bivariate polynomials and splines in L1-approximation
Sommer, Manfred. - Eichstätt : Kath. Univ., Math.-Geographische Fak., 2004
|
|
|
|
954 |
Proof planning with multiple strategies
Meier, Andreas, 2004
|
|
|
|
955 |
Weighted branching automata
Meinecke, Ingmar, 2004
|
|
|
|
956 |
Zwei Gedanken zur höherstufigen Unifikation
Kübler, Martin, 2004
|
|
|
|
957 |
Discrete mathematics and theoretical computer science
Berlin : Springer, 2003
|
|
|
|
958 |
Multivariate polynomial approximation
Reimer, Manfred. - Basel : Birkhäuser, c 2003
|
|
|
|
959 |
Distributive normal forms in the calculus of predicates
Hintikka, Jaakko. - Bad Feilnbach : Schmidt Periodocals, 2002, Repr. [der Ausg.] Helsinki, Soc. Philos., 1953
|
|
|
|
960 |
The need for de-aliasing in a Chebyshev pseudo-spectral method
Uhlmann, Markus. - Potsdam : PIK, 2000
|
|
Administration
