TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING - MAINZER KLAUS & CENTRONE STEFANIA

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 12-May-23 ONLINE RELEASE DATE

View Details