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

Va.) Tphols 200 2002 (hampton - Theorem Proving In Higher Order Logics

Het boek Theorem Proving In Higher Order Logics van de auteur Va.) Tphols 200 2002 (hampton is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Theorem Proving In Higher Order Logics" is nieuw te koop vanaf € 50,99 bij Bol.com.

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

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
Theorem Proving In Higher Order Logics

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

Type: Paperback
ISBN: 9783540440390
Levertijd: 11

Aanbieder:
€ 50,99
Bekijk boek