Reset Filters
Author: Davis,Martin

Author Results for Davis, Martin, 1928-

Davis,Martin
Martin Davis
Weyuker,Elaine J
Courant Institute of Mathematical Sciences
Davis, Martin,,1928-
see all »
Elsevier Science & Technology
Jacobs,Barry
Martin D. Davis, Elaine J. Weyuker
Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Sigal,Ron

1
The universal computer the road from Leibniz to Turing

Cover is for reference only
Main Authors: Davis Martin 1928-
Published: Norton,
Publication Dates: c2000.
Call Number: TP3-09/D263
Book
Save to List
Saved in:
2
Applied nonstandard analysis

Cover is for reference only
Main Authors: Davis Martin 1928-
Published: Wiley,
Publication Dates: c1977.
Call Number: O141.41/D263/
Book
Save to List
Saved in:
3
Computability, 1973-1974

Cover is for reference only
Main Authors: Davis Martin 1928-
Corporate Authors: Courant Institute of Mathematical Sciences
Group Author: Jacobs Barry
Published: Courant Institute of Mathematical Sciences, New York University,
Publication Dates: c1974.
Call Number: O141.3/D263/
Book
Save to List
Saved in:
4
Computability, complexity, and languages fundamentals of theoretical computer science

Cover is for reference only
Main Authors: Davis Martin 1928-
Group Author: Weyuker Elaine J
Published: Academic Press,
Publication Dates: 1983.
Call Number: TP312/C263/
Book
Save to List
Saved in:
5
Computability, complexity, and languages fundamentals of theoretical computer science 可计算性、复杂性和语言

Cover is for reference only
Main Authors: Davis Martin 1928-
Group Author: Weyuker Elaine J; Sigal Ron
Published: Posts & Telecom Press Elsevier,
Publication Dates: c2009.
Call Number: TP301/D263/2nd.ed.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —