> > > > > progress-in-computer-science-and-applied-logic-graphbased-proof-procedures-for-horn-clauses

Raatz - Progress In Computer Science And Applied Logic- Graph-based Proof Procedures For Horn Clauses

Het boek Progress In Computer Science And Applied Logic- Graph-based Proof Procedures For Horn Clauses van de auteur Raatz is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Progress In Computer Science And Applied Logic- Graph-based Proof Procedures For Horn Clauses" is nieuw te koop vanaf € 49,99 bij Bol.com.

Nieuw (1) vanaf € 49,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
Progress In Computer Science And Applied Logic- Graph-based Proof Procedures For Horn Clauses

Type: Paperback
ISBN: 9780817635305
Levertijd: 9

Aanbieder:
€ 49,99
Bekijk boek