Verwandte Artikel zu Propositional Logic: Deduction and Algorithms (Cambridge...

Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Kleine Buning, H.; Lettman, Theodor; Buning, Hans Kleine

 
9780521630177: Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)

Inhaltsangabe

Algorithmic approach to logic, with new and classical results, and applications to VLSI, databases etc.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.