Hoppa till sidans huvudinnehåll

Symbolic Logic and Mechanical Theorem Proving

Häftad, Engelska, 1973

Av Chin-Liang Chang, Richard Char Lee

699 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

849 kr

Skickas inom 10-15 vardagar

Produktinformation

  • Utgivningsdatum1973-06-11
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor331
  • FörlagAcademic Press
  • ISBN9781493300242

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Fuzzy-logic-based Programming
Del 15

Fuzzy-logic-based Programming

Chin-liang Chang, Chin-Liang Chang, CHANG CHIN LIANG

1 449 kr

Hoppa över listan

Du kanske också är intresserad av

Das wilde Denken
Del 14

Das wilde Denken

Claude Levi-Strauss

329 kr

Introduction to Matrix Computations

Introduction to Matrix Computations

G. W. Stewart, G W Stewart

1 299 kr

Zur Kabbala und ihrer Symbolik
Del 13

Zur Kabbala und ihrer Symbolik

Gershom Scholem

329 kr

Politics of a Literary Man

Politics of a Literary Man

Jon L. Wakelyn, Robert H. Walker, Unknown

1 659 kr

Symbolic Logic and Mechanical Theorem Proving

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

849 kr

Fuzzy-logic-based Programming
Del 15

Fuzzy-logic-based Programming

Chin-liang Chang, Chin-Liang Chang, CHANG CHIN LIANG

1 449 kr

Det borde man ju veta - 3 SAKER

Det borde man ju veta - 3 SAKER

Kylskåpspoesi

229 kr

Med öppen hand : visdomar att vila i

Med öppen hand : visdomar att vila i

Björn Natthiko Lindeblad, Caroline Bankler

199 kr349 kr

Hembiträdet
  • Nyhet
Del 1

Hembiträdet

Freida McFadden

79 kr125 kr

Det borde man ju veta Ja eller Nej

Det borde man ju veta Ja eller Nej

Kylskåpspoesi

229 kr