Design of logic-based intelligent systems
Truemper, Klaus
Design of logic-based intelligent systems - Singapore John Wiley 2006 - xii, 352p.
981253217-X
Expert system
Intelligent systems -- Logic-based
Logic systems
SAT and MINSAT -- Intelligent systems
Design of logic-based intelligent systems - Singapore John Wiley 2006 - xii, 352p.
981253217-X
Expert system
Intelligent systems -- Logic-based
Logic systems
SAT and MINSAT -- Intelligent systems