Modelling Puzzles in First Order Logic
Produktform: E-Buch Text Elektronisches Buch in proprietärem
Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.
weiterlesen
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
zurück