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 (2)
The taming of recurrences in computability logic through cirquent calculus. I ⋮ Introduction to clarithmetic. I
This page was built for publication:
