Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence a...

Temporal Logic by Mainzer Klaus: New

Temporal Logic: From Philosophy And Proof Theory To Artificia... - 9789811268533

Sentencing and Artificial Intelligence (Studies in Penal Theory and Philosophy)

Artificial Intelligence: Theory, Logic and Application By James F Brule

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And

Practical Artificial Intelligence with Swift: From Fundamental Theory to Dev...