Willkommen. Schön, sind Sie da!
Mein Ex Libris

Instantiation Theory

(0)
Erste Bewertung abgeben
This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm ...

Tiefpreis

CHF73.60

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch