Yazar
Alan Dieter
13 cilt bulundu.
Cilt sonuçları
Rippling
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland · Cambridge University Press
216 sayfa · 2005
Automatic theorem proving / Logic, symbolic and mathematical / Symbolic and mathematical Logic
Quantitative analysis in public finance
Dieter Biehl, Alan T. Peacock · Published in cooperation with the foundation: Journal of Public Finance, The Hague [by] Praeger
266 sayfa · 1969
Public Finance
Powder metallurgy processing
Howard A. Kuhn, Alan Lawley, George Ellwood Dieter · Academic Press
220 sayfa · 1978
Powder metallurgy
Textkorpora 1
Alan Pfeffer, Walter F. W. Lohnes, Wolf Dieter Ortmann · de Gruyter GmbH, Walter
Sayfa sayısı yok · 1984
Kategori yok
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland · Cambridge University Press
218 sayfa · 2005
Kategori yok