Temporal logic: from philosophy and proof theory to artificial intelligence and quantum computing
Auteur :
Mainzer, Klaus / Centrone, Stefania
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789811268533
Date de publication :
23 juin 2023
Langue :
Anglais
Pays d'origine :
Singapour