Hans van Maaren – författare

Visar alla böcker från författaren Hans van Maaren. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Handbook of Satisfiability

   Second Edition

   Av Armin Biere, Hans van Maaren m. fl.

   Inbunden, 2021

   3940 kr

   Lägg i varukorg

   Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional …