Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Bertot, Yves et. al. (Eds.):
Verkäufer Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 3. Mai 2002
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen