×

Found 47 Documents (Results 1–47)

The semialgebraic orbit problem. (English) Zbl 1518.37015

Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 6, 15 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear algebra individually. Online version. Vol. 2. (Lineare algebra individuell. Online-Fassung. Band 2.) (German) Zbl 1084.15004

Morrisville, NC: Lulu (ISBN 1-4116-3558-2/pbk). 273 p. (2005).
PDFBibTeX XMLCite

Linear algebra individually. Online version. Vol. 1. (Lineare Algebra individuell. Online-Fassung. Band 1.) (German) Zbl 1084.15003

Morrisville, NC: Lulu (ISBN 1-4116-2648-6/pbk). vi, 236 p. (2005).
PDFBibTeX XMLCite

Propositional logic: deduction and algorithms. Transl. from the German. (English) Zbl 0957.03001

Cambridge Tracts in Theoretical Computer Science. 48. Cambridge: Cambridge University Press. x, 409 p. (1999).
Reviewer: U.Schöning (Ulm)
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software