




  Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 1619, 2008, ProceedingsThis book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.
The 36 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 102 submissions. All important issues in language theory are...   


  Rippling: MetaLevel Guidance for Mathematical Reasoning The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses...   


Result Page: 13 12 11 10 9 8 7 6 5 4 3 