Temporal Logic
Subtitle: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2023
Language: eng
ISBN-13: 9789811268533
Subjects: Mathematics