Central Library catalog

Normal view MARC view ISBD view

KROENING, D.

DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW - VERLIN Springer 2008 - xvi+304p.,24x15Cms

ISBN: 3540741046

Dewey Class. No.: 621.38195 K93

Powered by Koha Implemented by Total IT Software Solutions