Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

decision problem

Home / Tags / decision problem /
Showing 2012 and older publications, page 1 of 1
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Read more

July 2008

The Calculus of Computation: Decision Procedures with Applications to Verification

Read more

October 2007

Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)

Read more

December 1985

Publication by Year