> > > > > theorem-proving-in-higher-order-logics

Boulton - Theorem Proving In Higher Order Logics

Het boek Theorem Proving In Higher Order Logics van de auteur Boulton is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Theorem Proving In Higher Order Logics" is nieuw te koop vanaf € 76,84 bij Bol.com.

Nieuw (1) vanaf € 76,84 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.

Andere auteurs

We hebben Theorem Proving In Higher Order Logics ook gevonden geschreven door andere auteurs:

Theorem Proving In Higher Order Logics
Theorem Proving In Higher Order Logics

Nieuw
We hebben 1 nieuw boek gevonden
Theorem Proving In Higher Order Logics

Type: Paperback
ISBN: 9783540425250
Levertijd: 66

Aanbieder:
€ 76,84
Bekijk boek


Andere populaire boeken van Boulton
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Voltammetric Methods In Brain Systems

ISBN: 9781617370090


Bekijk boek

Nieuw (3)
vanaf € 177,99
Tweedehands (0)
The Outlaws Of Nottingham

ISBN: 9780244155018


Bekijk boek

Nieuw (2)
vanaf € 26,99
Tweedehands (0)
The Teddy Bears' Picnic And Other Stories

ISBN: 9781138147164


Bekijk boek

Nieuw (2)
vanaf € 44,99
Tweedehands (0)
Bekijk hier alle boeken van Boulton