booklooker
Ausgezeichnete Bewertungen
Anmelden/Login
  1. Bücher ▸
  2. ISBN ▸
  3. 3764335300
logo
mediatypes Bücher

ISBN 3764335300 – Buch gebraucht, antiquarisch & neu kaufen

   
€ €

Tagen
 
   
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)
Sortierung: Autor | Titel | Jahr | Eingangsdatum | Preis | Preis + Versand | Relevanz
1 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware
gebrauchtes Buch
Raatz, Stan; Roatz, S: Graph-Based Proof
gebrauchte Buecher

Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic, Band 10)

Raatz, Stan; Roatz, S


Birkhauser

, 1991, Gebundene Ausgabe
ISBN: 3764335300
Zustand: leichte Gebrauchsspuren
flag_common DE von Buchpark GmbH, garantiert lieferbar, Bewertungen 98,9% positiv