Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence
90,37 €
Calculi of temporal logic are widely used in modern computer science. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities.
Jetzt bei Ebay:
