Publication:3491010

From MaRDI portal
Revision as of 23:17, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0708.68077MaRDI QIDQ3491010

Mark J. Shensa

Publication date: 1989


zbMATH Keywords

disjunctive normal form; propositional calculus; PASCAL


Mathematics Subject Classification ID

68T30: Knowledge representation

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

03B05: Classical propositional logic


Related Items

The \(Multi\)-SAT algorithm



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3491010&oldid=16836451"
Powered by MediaWiki