Risultato ricerca
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Inglese
31.08.2021
Copertina rigida
Fr. 220.00
Artificial Intelligence Of Neuromorphic Systems: From Digital, Analogue, Quantum, And Brain-oriented Computing To Hybrid Ai
Inglese
15.12.2024
Copertina rigida
Fr. 220.00
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Inglese
01.06.2023
Copertina rigida
Fr. 116.00