Mechanization - Cari Data Buku
Mechanization - Cari Data Buku
Author(s) Title Publisher Year
Wu Wen-Tsun, Cheng Min-De. (eds.) Proceedings 1992 Int. Workshop on Mathematics Mechanization 1992
7800031969
Wu Wen-tsun Mathematics and Its Applications Springer 2001
Mathematics Mechanization: Mechanical Geometry Theorem proving [1 ed.]
079235835X, 9780792358350
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings [1 ed.] Springer 2007
9783540730835, 3540730834
Jon G. Grossman Analysis of Air-Based Mechanization and Vertical Envelopment Concepts and Technologies Rand Publishing 2002
0833029665, 9780833029669
Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.) Lecture Notes in Computer Science 4573 : Lecture Notes in Artificial Intelligence Springer-Verlag Berlin Heidelberg 2007
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings [1 ed.]
3540730834, 9783540730835, 9783540730866
Dieter Hutter, Werner Stephan (auth.), Dieter Hutter, Werner Stephan (eds.) Lecture Notes in Computer Science 2605 : Lecture Notes in Artificial Intelligence Springer-Verlag Berlin Heidelberg 2005
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday [1 ed.]
3540250514, 9783540250517
Wu Wen-Tsun, Cheng Min-De. (eds.) Proceedings 1992 Int. Workshop on Mathematics Mechanization Beijing, China, Int.Acad. Publ. 1992
Wu Wen-Tsun, Cheng Min-De. (eds.) Proceedings 1992 Int. Workshop on Mathematics Mechanization Beijing, China, Int.Acad. Publ. 1992
Bryan Perrett Mechanized Infantry
085045526X
Gail Fowler Mohanty Studies in American Popular History and Culture Routledge 2006
Labor and Laborers of the Loom: Mechanization and Handloom Weavers, 1780-1840 [1 ed.]
0415979021, 9780415979023, 9780203960516
Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.) Lecture Notes in Computer Science 4573 : Lecture Notes in Artificial Intelligence Springer-Verlag Berlin Heidelberg 2007
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings [1 ed.]
3540730834, 9783540730835, 9783540730866
Thomas Fuchs The Mechanization of the Heart:: Harvey & Descartes (Rochester Studies in Medical History) [First Edition] 2001
1580460771, 9781580460774, 9781580466042
Walter Bohm, Peter Siebert M2A2 M3A2 Bradley: Backbone of the US Mechanized Infantry (Concord 7506) 2002
9623616716, 9789623616713
George F. Hofmann Through Mobility We Conquer: The Mechanization of U.S. Cavalry [annotated edition] 2006
0813124034, 9780813124032, 9780813171425
Vittorio Guglielmetti, Ashraf Mahtab, Shulin Xu, Piergiorgio Grasso Mechanized Tunnelling in Urban Areas [1 ed.] 2007
0415420105, 9780415420105, 9780203938515
David A. Zonderman Aspirations and Anxieties: New England Workers and the Mechanized Factory System, 1815-1850 [1St Edition] 1992
0195057473, 9780195057478
Gordon Rottman US Mechanized Infantryman in the First Gulf War (Osprey Warrior) [Original ed.] Osprey Publishing 2009
1846034388, 9781846034381, 9781849080958
Robinson J.A. Logic: Form and function - The Mechanization of Deductive Reasoning Edinburgh Univ. 1979
0852243057, 9780852243053
Donald A. MacKenzie Inside Technology The MIT Press 2001
Mechanizing Proof: Computing, Risk, and Trust
0262133938, 9780262133937
Donald A. MacKenzie Inside Technology The MIT Press 2001
Mechanizing Proof: Computing, Risk, and Trust
0262133938, 9780262133937, 9780585436739
Steven J. Zaloga Soviet Mechanized Fire Power Today (Military Vehicles fotofax) Arms and Armour Press 1989
0853689571, 9780853689577
George F. Hofmann Through Mobility We Conquer: The Mechanization of U.S. Cavalry The University Press of Kentucky 2006
Michael Jerchel Concord 1018 Concord Publication Co. 1991
Modern German panzergrenadiers. Germanys mechanized infantry [Concord 1018]
Petr Hájek, Tomáš Havránek (auth.) Universitext Springer-Verlag Berlin Heidelberg 1978
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory [1 ed.]
978-3-540-08738-0, 978-3-642-66943-9
G. Pellizzi, A. Guidobono Cavalchini (auth.), G. Pellizzi, A. Guidobono Cavalchini, M. Lazzari (eds.) Energy Savings in Agricultural Machinery and Mechanization [1 ed.] Springer Netherlands 1988
978-94-010-7108-6, 978-94-009-1365-3
Vittorio Guglielmetti Mechanized tunnelling in urban areas: design methodology and construction control Taylor & Francis 2008
9780415420105, 0415420105
Sophie Roux (auth.), DAN GARBER (eds.) Boston Studies in the Philosophy and History of Science 282 Springer Netherlands 2013
The Mechanization of Natural Philosophy [1 ed.]
978-94-007-4344-1, 978-94-007-4345-8
James R. Mcdonough Defense of Hill 781: An Allegory of Modern Mechanized Combat Presidio Press 2010
Siegfried Giedion Mechanization Takes Command Oxford University Press 1970
Wu Wen-tsun Mathematics and Its Applications Springer 2000
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving [1 ed.]
9780792358350, 079235835X
Dupuy, Jean-Pierre On the origins of cognitive science - The mechanization of the mind MIT Press - Princeton University Press 2009
978-0262512398
Paul Halstead; Simon Levy Two oxen ahead : pre-mechanized farming in the Mediterranean [1 ed.] Wiley Blackwell 2014
978-1-4051-9283-5, 1405192836, 9781118819319, 1118819314
Donald A. MacKenzie Inside Technology The MIT Press 2001
Mechanizing Proof: Computing, Risk, and Trust
0262133938, 9780262133937
Bullen, George N Society of Automotive Engineers.; Electronic publications Society of Automotive Engineers 2013
Automated/mechanized drilling and countersinking of airframes
9781680154511, 1680154516, 978-0-7680-7995-1, 978-0-7680-7646-2
George William Brooks PhD Dissertation Florida State University 2003
The mechanization of the middle ages: an intellectual history of medieval machine building