Matheson Library
Empowering Knowledge, Inspiring Discovery
Your search returned 3 results.
Not what you expected? Check for suggestions
Sort
Results
1.
Lambda-calculus, combinators, and functional programming / G.E. Revesz. by Series: Cambridge tracts in theoretical computer science ; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [England] ; New York : Cambridge University Press, 1988
Availability: Items available for loan: Matheson Library (1)Call number: 511.3 R453L.

2.
Formal methods in artificial intelligence / Allan Ramsay. by Series: Cambridge tracts in theoretical computer science ; 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Eng. : Cambridge University Press, 1988
Availability: Not available: Matheson Library: Lost (1).

3.
Computational learning theory : an introduction / Martin Anthony & Norman Biggs. by Series: Cambridge tracts in theoretical computer science ; 30
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 1992
Availability: Not available: Matheson Library: Lost (1).

Pages