Books by Klaus Galda

3 books found

Applications of quantifier elimination to mechanical theorem proving

Applications of quantifier elimination to mechanical theorem proving

19721 ed.
Logical reasoning and the Yucatec Maya language

Logical reasoning and the Yucatec Maya language

19801 ed.
Wutz Handbuch Vakuumtechnik

Wutz Handbuch Vakuumtechnik

20121 ed.