Temporal Logic
From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Edición de la obra Temporal Logic
| Autor | Stefania Centrone, Klaus Mainzer |
|---|---|
| Editorial | World Scientific Publishing Co Pte Ltd |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9789811268533 |
| Número de Cutter | C397t |