1. Computability, complexity and language : fundamentals of theoretical computer science

by Davis, Martin D | Sigal, Ron | Weyuker, Elaine J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1994Availability: Items available for loan: [Call number: 511.3 DAV] (1).
2. Applied nonstandard analysis

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mineola: Dover Publications, 2005Availability: Items available for loan: [Call number: 515 DAV] (1).
3. Universal computer : the road from Leibniz to Turing

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2011Availability: Items available for loan: [Call number: 004 DAV] (1).

Powered by Koha