Refine your search

Your search returned 2125 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by
Edition: 2nd edition
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004
Online resources:
Availability: Items available for loan: Library (1)Call number: 005-2004.
Place hold
162.
Circles disturbed : the interplay of mathematics and narrative / edited by Apostolos Doxiadis and Barry Mazur. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton : Princeton University Press, c2012
Availability: Items available for loan: Library (1)Call number: 510-2012.
Place hold
163.
Decision forests [electronic resource] : a unified framework for classification, regression, density estimation, manifold learning and semi-supervised learning / Antonio Criminisi, Jamie Shotton, and Ender Konukoglu. by Series: Foundations and trends in computer graphics and vision (Online) ; v. 7, issue 2-3, p. 81-227.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized;
Publication details: Hanover, Mass. : Now Publishers, c2012
Other title:
  • Unified framework for classification, regression, density estimation, manifold learning and semi-supervised learning.
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
164.
Impossibility results for distributed computing Hagit Attiya (Technion–Israel Institute of Technology) and Faith Ellen (University of Toronto) by Series: Synthesis lectures on distributed computing theory ; 12 | ; 12
Material type: Text Text; Format: print available online remote; Literary form: Not fiction
Language: English Publisher: [San Rafael] Morgan & Claypool Publishers [2014]
Online resources:
Availability: Items available for loan: Library (1)Call number: 004-2015.
Place hold
165.
An examination of a decision procedure / [electronic resource] by Francis C. Oglesby. by Series: Memoirs of the American Mathematical Society ; no. 44.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1962 (1971 printing)
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
166.
The undecidability of the domino problem / [electronic resource] by Robert Berger. by Series: Memoirs of the American Mathematical Society ; no. 66.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1966
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
167.
Minimal degrees of unsolvability and the full approximation construction / [electronic resource] Richard L. Epstein. by Series: Memoirs of the American Mathematical Society ; no. 162.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence : American Mathematical Society, 1975
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
168.
Decidability and Boolean representations / [electronic resource] Stanley Burris and Ralph McKenzie. by Series: Memoirs of the American Mathematical Society ; v. 246
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1981
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
169.
Algebraizable logics / [electronic resource] W.J. Blok and Don Pigozzi. by Series: Memoirs of the American Mathematical Society ; no. 396.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I., USA : American Mathematical Society, c1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
170.
A lattice of chapters of mathematics : [electronic resource] interpretations between theorems / Jan Mycielski, Pavel Pudlák, and Alan S. Stern. by Series: Memoirs of the American Mathematical Society ; no. 426.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I., USA : American Mathematical Society, c1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
171.
Duality and definability in first order logic / [electronic resource] Michael Makkai. by Series: Memoirs of the American Mathematical Society ; v. 503
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
172.
Decision problems for equational theories of relation algebras / [electronic resource] Hajnal Andréka, Steven Givant, István Németi. by Series: Memoirs of the American Mathematical Society ; v. 604
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
173.
Semigroups underlying first-order logic / [electronic resource] William Craig. by Series: Memoirs of the American Mathematical Society ; v. 866
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
174.
Fading Foundations [electronic resource] : Probability and the Regress Problem / by David Atkinson, Jeanne Peijnenburg. by Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 383
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
175.
Nuel Belnap on Indeterminism and Free Action [electronic resource] / edited by Thomas Müller. by Series: Outstanding Contributions to Logic ; 2
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
176.
Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister. by Series: Trends in Logic, Studia Logica Library ; 43
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
177.
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence / by Mario Alemi. by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
178.
Journey to the edge of reason : the life of Kurt Gödel / Stephen Budiansky. by
Edition: First edition.
Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction
Publisher: New York : W.W. Norton & Company, [2021]
Availability: Not available: Checked out (1).
Place hold
179.
180.
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.). by Series: Lecture notes in computer science ; 1479.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha