Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 57 | << page >> |
Sort by
|
ISBN: 0393047857 9780393047851 Year: 2000 Publisher: New York: Norton,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer. Automation --- Electronic digital computers --- Ordinateurs --- History --- Histoire --- 681.3*I --- #WSCH:AAS2 --- Computing methodologies --- 681.3*I Computing methodologies --- Electronic digital computers - History
Book
ISBN: 0471198978 9780471198970 Year: 1977 Publisher: New York (N.Y.): Wiley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Nonstandard mathematical analysis --- Analyse mathématique non standard --- 517.1 --- Analysis, Nonstandard mathematical --- Mathematical analysis, Nonstandard --- Non-standard analysis --- Nonstandard analysis --- Model theory --- Introduction to analysis --- Nonstandard mathematical analysis. --- 517.1 Introduction to analysis --- Analyse mathématique non standard --- Espaces linéaires normés --- Normed linear spaces --- Espaces linéaires normés. --- Normed linear spaces. --- Topologie generale
ISBN: 0486614719 9780486614717 Year: 1982 Publisher: New York (N.Y.): Dover,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Unsolvability (Mathematical logic) --- Fonctions récursives --- Recursive Functions --- Degrees of unsolvability --- Turing degrees of unsolvability --- Functions, Recursive --- Decidability (Mathematical logic) --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Fonctions récursives --- Computable functions --- Recursive functions --- 510.5 --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions --- Algorithms --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Recursion theory --- Constructive mathematics --- Foundations --- Fonctions calculables
Book
ISBN: 9781138502086 9780815384021 9781315144726 9781351384803 1138502081 0815384025 Year: 2018 Publisher: Boca Raton: CRC,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age - the logicians.
Electronic digital computers --- Mathematicians --- History --- Mathématiques --- Ordinateurs --- History. --- Histoire --- Histoire. --- Electronic digital computers - History --- Mathematicians - Biography --- Mathématiques
Book
ISBN: 3030840174 3030840166 Year: 2021 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Cartography --- History --- Cartography, Primitive --- Chartography --- Map-making --- Mapmaking --- Mapping (Cartography) --- Mathematical geography --- Surveying --- Map projection --- Maps
Book
Year: 1967 Publisher: New York (N.Y.): Gordon and Breach,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1965 Publisher: New York: Raven Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computable functions --- Gödel's theorem --- Recursive Functions --- Turing machines --- Unsolvability (Mathematical logic)
Book
Year: 1958 Publisher: New York: McGraw-Hill,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Recursive Functions --- Unsolvability (Mathematical logic) --- Computable functions
Book
Year: 2005 Publisher: Mineola, N.Y.: Dover,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1968 Publisher: London: Nelson,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 57 | << page >> |
Sort by
|