Toggle Navigation
Calibre-Web Automated
Search
Search
Advanced Search
Switch Theme
Refresh Library
Guest
Login
Register
×
Browse
Books
Top Rated Books
Discover
Categories
Series
Authors
Publishers
Languages
Ratings
File formats
Shelves
Author: Stefania Centrone
Temporal Logic: From Philosophy and Proof Theory to Artificial ...
Stefania Centrone
&
Klaus Mainzer
×
Book Details
...