Yazar
m schutzenberger
3 cilt bulundu.
Cilt sonuçları
Symposium on Automatic Demonstration
M. Laudet, L. Nolin, M. Schützenberger, D. Lacombe · Springer
320 sayfa · 1970
Automatic theorem proving / Mathematics / Symbolic and mathematical Logic / Mathematical Logic and Foundations