DOCSLIB.ORG
Sign Up
Log In
Upload
Search
Sign Up
Log In
Upload
Home
» Tags
» Computational logic
Computational logic
Infinite Computation, Co-Induction and Computational Logic
Resources for Further Study
Types in Logic, Mathematics, and Programming from the Handbook of Proof Theory
Contribution of Warsaw Logicians to Computational Logic
Computational Logic: Memories of the Past and Challenges for the Future
Finding Unity in Computational Logic
Computational Logic in the First Semester of Computer Science: an Experience Report
The Scientific Contribution of Marek Sergot
Computability Logic გამოთვლადობის ლოგიკა Логика Вычислимости 可计算性逻辑 (Col)
Logicism and the Development of Computer Science*
Logic and Logic Programming J.A
Acl2s: “The ACL2 Sedan”
Computational Logic and Human Thinking: How to Be Artificially Intelligent
Middle History of Logic Programming
Finding Unity in Computational Logic
Computational Logic in the First Semester of Computer Science: an Experience Report
A Computational Logic This Is a Volume in the ACM MONOGRAPH SERIES
Studia Humana Volume 3:4 (2014), Pp. 41—44 DOI: 10.1515/Sh-2015-0005
Top View
Logicism and the Development of Computer Science*
