�鶹��

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science Book 11562)

The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Science)

The Everyday Life of an Algorithm

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12077)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Notes in Computer Science Book 11429)

Advances in Proof-Theoretic Semantics (Trends in Logic Book 43)

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11427)

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11425)

Fading Foundations: Probability and the Regress Problem (Synthese Library Book 383)

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12650)

Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers ... Notes in Computer Science Book 12640)

Paul Lorenzen -- Mathematician and Logician (Logic, Epistemology, and the Unity of Science Book 51)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10981)

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11428)