Temporal logic from philosophy and proof theory to artificial intelligence and quantum computing /

• 作者：Stefania Centrone, Klaus Mainzer.
• 出版者：World Scientific
• 出版地：Singapore ; Hackensack, NJ :
• 語文：英語
• 電子資源：https://www.worldscientific.com/worldscibooks/10.1142/13205#t=toc
• ISBN/ISSN/ISRC：9789811268540 ; 9789811268557
• 作者：Centrone, Stefania.;Mainzer, Klaus.
• 索書號：511.3/14