scientific article; zbMATH DE number 408811

From MaRDI portal

Publication:4202956

Jump to:navigation, search

zbMath0819.68126MaRDI QIDQ4202956

Eckhard Steffen

Publication date: 6 September 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexity default theory modified default logic propositional autoepistemic logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4202956&oldid=18060156"