Automated Theorem Proving 1
bokomslag Automated Theorem Proving
Vetenskap & teknik

Automated Theorem Proving

W W Bledsoe • Donald W Loveland

Pocket

2819:-

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

Uppskattad leveranstid 2-7 arbetsdagar

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

  • 1984
  • Författare: W W Bledsoe, Donald W Loveland
  • Format: Pocket/Paperback
  • ISBN: 9780821850275
  • Språk: Engelska
  • Utgivningsdatum: 1984-12-01
  • Förlag: American Mathematical Society

Du kanske gillar

  1. bokomslag Nonlinear Wave Equations

    Nonlinear Wave Equations

    Christopher W Curtis, Anton Dzhamay, Willy A Hereman, Barbara Prinari

    Pocket

    2819:-
  2. bokomslag Manifolds and $K$-Theory

    Manifolds and $K$-Theory

    Gregory Arone, Brenda Johnson, Pascal Lambrechts, Brian A Munson, Ismar Volic

    Pocket

    2699:-
  3. bokomslag Elementary Schoolers, Meet Media Literacy

    Elementary Schoolers, Meet Media Lite...

    David W Loveland Jim Wasserman

    Inbunden

    959:-
  4. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Pocket

    1519:-
  5. bokomslag Middle Schoolers, Meet Media Literacy

    Middle Schoolers, Meet Media Literacy

    David W Loveland Jim Wasserman

    Inbunden

    1449:-
  6. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Monty Newborn

    Pocket

    1819:-
  7. bokomslag Elementary Schoolers, Meet Media Literacy

    Elementary Schoolers, Meet Media Lite...

    David W Loveland Jim Wasserman

    Pocket

    489:-
  8. bokomslag Middle Schoolers, Meet Media Literacy

    Middle Schoolers, Meet Media Literacy

    David W Loveland Jim Wasserman

    Pocket

    749:-
  9. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Pocket

    789:-
  10. bokomslag Retriever Puppy Training: The Right Start for Hunting

    Retriever Puppy Training: The Right S...

    Cherylon Loveland Clarice Rutherford

    Häftad

    429:-

Andra av samma författare

  1. bokomslag Three Views of Logic

    Three Views of Logic

    Donald W Loveland, Richard Hodel, S G Sterrett

    Pocket

    739:-