Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Computability and Unsolvability.

by Davis, Martin.

Publisher: Dover Publications, 1985Availability: Items available for reference: Books at groups (1). Checked out (1). Location(s): Wagner Group .
2.
Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (Eds.).

by LPAR (Conference) (20th : 2015 : Suva, Fiji) | Davis, Martin [edt] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2015]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha