QA9.59 .C655 2011eb
|
Computability in context : computation and logic in the real world / |
1 |
QA9.59 .C67 2020eb
|
Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings / |
1 |
QA9.59 .C67 2021eb
|
Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021, Proceedings / |
1 |
QA9.59 .C87
|
Computability, an introduction to recursive function theory / |
1 |
QA9.59 .F58 1987
|
Computability theory, semantics, and logic programming / |
1 |
QA9.59 .H36 1999
|
Handbook of computability theory / |
1 |
QA9.59 .K46 1982
|
A programming approach to computability / |
1 |
QA9.59 .M25 1984
|
Computability with PASCAL / |
1 |
QA9.59 .M35
|
Elementary computability, formal languages, and automata / |
1 |
QA9.59 .P68 1989
|
Computability in analysis and physics / |
1 |
QA9.59 R39 1986
|
A first course in computability / |
1 |
QA9.59 .W67 1987
|
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / |
1 |
QA9.59 ǂb .W67 1987eb
|
Logic and Computation |
1 |
QA9.6 .B73 1988
|
Algorithmics : theory and practice / |
1 |
QA9.6 .C46 2015
|
Recursion theory : computational aspects of definability / |
1 |
QA9.6 .C49
|
Techniques of admissible recursion theory / |
1 |
QA9.6 .C66 1996
|
Computability, enumerability, unsolvability : directions in recursion theory / |
1 |
QA9.6 .E6
|
Initial segments of degrees below 0' / |
1 |
QA9.6 .E67 1981eb
|
Initial segments of degrees below 0' / |
1 |
QA9.6 .F57 1981
|
Fundamentals of generalized recursion theory / |
1 |