librarian a book library

Tracking the Automatic ANT: And Other Mathematical Explorations Indiscrete Thoughts Control of Discrete-Event Systems: Automata and Petri Net Perspectives The Collected Works of J. Richard Büchi
The Universal Turing Machine A Half-Century Survey Temporal Logic: From Ancient Ideas to Artificial Intelligence Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions Evolutionary Computer Music
Principles of the Spin Model Checker Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction The Computational Complexity of Logical Theories Science, Computers, and People: From the Tree of Mathematics

Library Size: 80G (3741 books), Last Updated: Apr 07, 2026, 15:54:53, Build Time: N/A badge
[show logs] [hide logs]