Yazar
m laudet
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
Medical computing
M. Laudet, John Anderson · Taylor and Francis
602 sayfa · 1977
Medicine / Congresses / Data processing / Medicine, data processing / Medicine, congresses
Symposium on Automatic Demonstration;
Symposium on Automatic Demonstration, Versailles, 1968 Laudet, M., · Springer-Verlag
Sayfa sayısı yok · 1970
Kategori yok