scientific article; zbMATH DE number 1983083
From MaRDI portal
Publication:4426950
zbMath1026.68614MaRDI QIDQ4426950
Publication date: 18 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2639/26390205.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
rough setsmodal logicsecond recursion theoremabstract approximation spacesnatural deduction set theorynegation in logic programming systems
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Logic programming (68N17)
This page was built for publication: