Taiwan) Lee, Richard Char-Tung (National Tsing Hua University, Hsinchu - Böcker

Visar alla böcker från författaren Taiwan) Lee, Richard Char-Tung (National Tsing Hua University, Hsinchu.

1 produkt

Böcker

1 produkt

Chin-Liang Chang, Richard Char-Tung Lee, CA) Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, Taiwan) Lee, Richard Char-Tung (National Tsing Hua University, Hsinchu - Symbolic Logic and Mechanical Theorem Proving, Inbunden

Symbolic Logic and Mechanical Theorem Proving

Av Chin-Liang Chang, Richard Char-Tung Lee, CA) Chang, Chin-Liang (Lockheed Missiles & Space Company, Inc., Menlo Park, Taiwan) Lee, Richard Char-Tung (National Tsing Hua University, Hsinchu

Inbunden, Engelska, 1973

849 kr

Skickas inom 7-10 vardagar