National Science Library of Georgia

Your search returned 16 results.

Sort
Results
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 eBooks
Online resources:
Availability: No items available.
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 eBooks
Online resources:
Availability: No items available.
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. by Series: Theoretical Computer Science and General Issues ; 11562
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer eBooks
Online resources:
Availability: No items available.
The Everyday Life of an Algorithm [electronic resource] / by Daniel Neyland. by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Palgrave Pivot, 2019 In: Springer eBooks
Online resources:
Availability: No items available.
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 eBooks
Online resources:
Availability: No items available.
Admissible sets and structures : an approach to definability theory / Jon Barwise. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Degrees of unsolvability : local and global theory / Manuel Lerman. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
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 eBooks
Online resources:
Availability: No items available.
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. by Series: Studies in logic and the foundations of mathematics ; v. 89
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.