Logic for computer scientists

From MaRDI portal

Revision as of 05:26, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5905500

Jump to:navigation, search

zbMath0748.03001MaRDI QIDQ5905500

Uwe Schoening

Publication date: 18 September 1992

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

propositional logic PROLOG logic programming predicate logic automated deduction program verification resolution-based theorem proving semantics of programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Logic programming (68N17)

Related Items (3)

Invariant-free clausal temporal resolution ⋮ Unnamed Item ⋮ Hybrid-logical reasoning in the Smarties and Sally-Anne tasks

This page was built for publication: Logic for computer scientists

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