01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Beyond the Metaphor between the digital Computer and the biological brain: the myth of artificial consciousness
De Yves Frégnac
Apparaît dans la collection : 2023 - T1B - WS1 - Structural learning by the brain
