Publication:4846462

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


zbMath0823.68060MaRDI QIDQ4846462

Ruth E. Davis

Publication date: 27 August 1995


zbMATH Keywords

predicate calculus; propositional logic; Horn clauses; Lambda calculus; elementary number theory


Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q45: Formal languages and automata

93B20: Minimal systems representations

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68N17: Logic programming


Related Items

A fuzzy logic with interval truth values



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