×

Found 6 Documents (Results 1–6)

Signed interval logic. (English) Zbl 0942.03027

Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 157-171 (1999).
MSC:  03B44 03B70
PDFBibTeX XMLCite

Numerical mathematics. 1: An introduction - under consideration of lectures by F. L. Bauer. 8., neu bearb. u. erw. Aufl. (Numerische Mathematik. 1: Eine Einführung - unter Berücksichtigung von Vorlesungen von F. L. Bauer.) (German) Zbl 0938.65001

Berlin: Springer. xii, 374 S. (1999).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field