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       

Article Details

Article ID:
729
Category:
Date added:
2016-10-05 13:50:21
Rating (Votes):
(123)