Klaus Galda

Identifiers

Open LibraryOL1694180A

Top Subjects

Automatic theorem proving (1)
Maya language (1)
Language and logic (1)

Books by Klaus Galda

Total count: 3

Applications of quantifier elimination to mechanical theorem proving

Pontifica Universidade Católica do Rio de Janeiro]1972-01-01
Logical reasoning and the Yucatec Maya language

1980-01-01
Wutz Handbuch Vakuumtechnik

Vieweg+Teubner Verlag2012-12-14