Symbolic Logic and Mechanical Theorem Proving

Häftad, Engelska, 1973

AvChin-Liang Chang,Richard Char Lee

699 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)

819 kr

Skickas inom 7-10 vardagar

Produktinformation

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

Tillhör följande kategorier

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 429 kr

Du kanske också är intresserad av

Das wilde Denken

Del 14

Das wilde Denken

Claude Levi-Strauss

329 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

819 kr

Introduction to Matrix Computations

Introduction to Matrix Computations

G. W. Stewart, G W Stewart

1 279 kr

Zur Kabbala und ihrer Symbolik

Del 13

Zur Kabbala und ihrer Symbolik

Gershom Scholem

319 kr

Politics of a Literary Man

Politics of a Literary Man

Jon L. Wakelyn, Robert H. Walker, Unknown

1 289 kr

Fuzzy-logic-based Programming

Del 15

Fuzzy-logic-based Programming

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

1 429 kr

Svensk Lag 2026

Nyhet

Svensk Lag 2026

1 349 kr

Skam

Nyhet

Del 3

Skam

Ann-Helén Laestadius

79 kr129 kr

Glömda om söndagen

4 pocket för 3

Glömda om söndagen

Valérie Perrin

115 kr

Heated Rivalry

Nyhet

Del 2

Heated Rivalry

249 kr