Fondamenti
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Inglese
01.06.2023
Copertina rigida
Fr. 116.00
Modern Cryptography With Proof Techniques and Implementations
Inglese
31.05.2023
Tascabile
Fr. 76.00
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
Inglese
18.06.2021
Tascabile
Fr. 42.60
Analysis on Polish Spaces and an Introduction to Optimal Transportatio
Inglese
31.12.2017
Copertina rigida
Fr. 146.00
Analysis on Polish Spaces and an Introduction to Optimal Transportatio
Inglese
31.12.2017
Tascabile
Fr. 93.60
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications
Inglese
13.06.2019
Tascabile
Fr. 34.30
Classification Theory. Second Edition with a new introduction
Inglese
13.01.2023
Tascabile
Fr. 59.40