Symbolic Logic and Mechanical Theorem Proving 1
bokomslag Symbolic Logic and Mechanical Theorem Proving
Vetenskap & teknik

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang • Richard Char Lee

Häftad

729:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 331 sidor
  • 1973
  • Författare: Chin-Liang Chang, Richard Char Lee
  • Format: Häftad
  • ISBN: 9781493300242
  • Språk: Engelska
  • Antal sidor: 331
  • Utgivningsdatum: 1973-06-11
  • Förlag: Academic Press

Du kanske gillar

  1. bokomslag Das wilde Denken

    Das wilde Denken

    Claude Levi-Strauss

    Pocket

    339:-
  2. bokomslag Symbolic Logic and Mechanical Theorem Proving

    Symbolic Logic and Mechanical Theorem...

    Chin-Liang Chang, Richard Char-Tung Lee, Chin-Liang Chang, Richard Char-Tung Lee

    Inbunden

    879:-
  3. bokomslag Introduction to Matrix Computations

    Introduction to Matrix Computations

    G W Stewart G W Stewart

    Häftad

    1349:-
  4. bokomslag Fuzzy-logic-based Programming

    Fuzzy-logic-based Programming

    Chin Liang Chang Chin-Liang Chang

    Inbunden

    1499:-
  5. bokomslag Zur Kabbala und ihrer Symbolik

    Zur Kabbala und ihrer Symbolik

    Gershom Scholem

    Pocket

    339:-
  6. bokomslag Politics of a Literary Man

    Politics of a Literary Man

    Jon L Wakelyn, Robert H Walker, Unknown

    Inbunden

    1719:-
  7. bokomslag Convicting the Yorkshire Ripper

    Convicting the Yorkshire Ripper

    Richard Charles Cobb Richard Charles ...

    Inbunden

    359:-
  8. bokomslag Outline of Flower Adornment Sutra -1: Brief Buddhist Tripitaka V01-B01-01-OT

    Outline of Flower Adornment Sutra -1:...

    Zhang Che Lee Rev Chin Liang Shi

    Häftad

    319:-
  9. Ny
    bokomslag Världens bästa Molly och den nya bebisen

    Världens bästa Molly och den nya bebisen

    Sabine Lemire • Signe Kjær

    Inbunden

    169:-
  10. bokomslag Cosmic Egg Timer

    Cosmic Egg Timer

    Joyce Susan Hopewell, Richard Charles Llewellyn, Barry Hopewell

    Pocket

    229:-

Andra av samma författare

  1. bokomslag Fuzzy-logic-based Programming

    Fuzzy-logic-based Programming

    Chin Liang Chang Chin-Liang Chang

    Inbunden

    1499:-