> > > > > a-machine-program-for-theoremproving

J Martin Davis - A Machine Program For Theorem-proving

Het boek A Machine Program For Theorem-proving van de auteur J Martin Davis is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "A Machine Program For Theorem-proving" is nieuw te koop vanaf € 27,99 bij Bol.com.

Nieuw (1) vanaf € 27,99 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
A Machine Program For Theorem-proving

Type: Hardcover
ISBN: 9781342126283
Levertijd: 23

Aanbieder:
€ 27,99
Bekijk boek


Andere populaire boeken van J Martin Davis
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Handmaiden Of The Sun

ISBN: 9780244564360


Bekijk boek

Nieuw (2)
vanaf € 16,00
Tweedehands (0)
Thirty Days With- Thirty Days With America's High School Coaches

ISBN: 9781641801171


Bekijk boek

Nieuw (2)
vanaf € 24,00
Tweedehands (0)
Springer Theses-a Cartographic Analysis Of Soviet Military City Plans

ISBN: 9783030840198


Bekijk boek

Nieuw (2)
vanaf € 179,00
Tweedehands (0)
Bekijk hier alle boeken van J Martin Davis