887 search results - page 31 / 178 » A Science of Reasoning |
ITICSE
2003
ACM
14 years 2 months ago
2003
ACM
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
LICS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
Book
"This book is intended to be an intellectual journey into the domain of human and machine intelligence". The book covers several topics such as intelligence, knowledge re...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...