scientific article
From MaRDI portal
Publication:3052509
zbMath1212.68311MaRDI QIDQ3052509
Publication date: 5 November 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
The taming of recurrences in computability logic through cirquent calculus. I, Introduction to clarithmetic. I