Del 14
Symbolic Logic and Mechanical Theorem Proving
Häftad, Engelska, 1973
679 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Produktinformation
- Utgivningsdatum1973-06-11
- FormatHäftad
- SpråkEngelska
- Antal sidor331
- FörlagAcademic Press
- ISBN9781493300242
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13
Symbolic Logic and Mechanical Theorem Proving
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
819 kr