KROENING, D.
DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW - VERLIN Springer 2008 - xvi+304p.,24x15Cms
3540741046
621.38195 K93
DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW - VERLIN Springer 2008 - xvi+304p.,24x15Cms
3540741046
621.38195 K93