81
by Nies, Andrâe
Published 2009
Oxford University Press
...A monograph on the computational complexity and randomness of sets of natural numbers...

82
by Johnson, Tom, Jedrzejewski, Franck
Published 2014
Birkhäuser
...Galileo Galilei said he was “reading the book of nature” as he observed pendulums swinging, but he...

83
Published 2004
Springer Berlin Heidelberg
...Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular...

84
by Demopoulos, William
Published 2013
Cambridge University Press
... - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues...

85
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural...

86
by Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural...

87
by van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural...

88
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural...

89
by Gabbay, Dov M.
Published 2005
Oxford University Press
..., artificial intelligence, logic programming philosophy of science, and natural language...

90
Published 2011
Springer Netherlands
... of classical mathematics of a different nature compared to those of constructive mathematics? Do they play...

91
by Paris, J. B.
Published 1986
North-Holland
... topics treated are the model theory of arithmetic and algebra, the semantics of natural languages...

92
by Freyd, Peter J.
Published 1990
North-Holland
..., emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book...

93
by Korotkikh, Victor
Published 1999
Springer US
.... A noticeable attempt of such a rethinking is a world view in which natural systems are seen...

94
Published 2022
Birkhäuser
... to the nature of logic and how it has developed over the years. As a result, chapter authors provide a thorough...

95
by Dales, H. G., Woodin, W. H.
Published 1987
Cambridge University Press
... naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account...

96
by Favre, Charles, Jonsson, Mattias
Published 2004
Springer Berlin Heidelberg
... on the valuative tree. The construction of these measures uses a natural tree Laplace operator of independent...

97
Published 2019
Springer Berlin Heidelberg
...; belief representation; cooperation; decision making and planning; natural language; philosophy...

98
Published 1996
Cambridge University Press
...The fundamental ideas concerning computation and recursion naturally find their place...

99
by Penner, R. C.
Published 2016
Princeton University Press
...Measured geodesic laminations are a natural generalization of simple closed curves in surfaces...

100
by Goranko, Valentin
Published 2016
Wiley
... and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates...