Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday
From MaRDI portal
(Redirected from Publication:4585823)
Recommendations
- Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday
- Ewa Orłowska on relational methods in logic and computer science
- Arnon Avron on semantics and proof theory of non-classical logics
- Beyond first order model theory
- scientific article; zbMATH DE number 1531624
Cited in
(6)- Ewa Orłowska on relational methods in logic and computer science
- A tour of Franz Baader's contributions to knowledge representation and automated deduction
- From mathematical beauty to the truth of nature.
- Dedication to a theory of modelling. Bernhard Thalheim's scientific journey
- Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday
- Samson Abramsky on logic and structure in computer science and beyond
This page was built for publication: Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4585823)
