-
1Published 1995Subjects: “…Semantics and reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
2Published 2016Subjects: “…Program reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
3Published 2016Subjects: “…Semantics and reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
4Published 2005Subjects: “…Program reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
5Published 2006Subjects: “…Semantics and reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
6Published 2011Subjects: “…Program reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
7Published 2004Subjects: “…Semantics and reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
8Published 2009Subjects: “…Program reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
9Published 2008Subjects: “…Program reasoning…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
10by Owens, KayTable of Contents: “…Introduction: Visuospatial reasoning in context -- Visuospatial reasoning in 20th century…”
Published 2015
Full Text via HEAL-Link
Electronic eBook -
11Published 2015Table of Contents: “…Reasoning at the frontier of knowledge: Introductory essay -- Why should the logic of discovery…”
Full Text via HEAL-Link
Electronic eBook -
12Published 2001Table of Contents: “… with Concrete Domains -- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics…”
Full Text via HEAL-Link
Electronic eBook -
13Published 2016Table of Contents: “… Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving…”
Full Text via HEAL-Link
Electronic eBook -
14by Viennot, LaurenceTable of Contents: “…The main lines -- Physics: what is essential, what is natural? -- A trend in reasoning…”
Published 2001
Full Text via HEAL-Link
Electronic eBook -
15Published 2004Table of Contents: “… for Embedded Deduction -- System Description: E 0.81 -- Reasoning with Finite Structure -- Second-Order Logic…”
Full Text via HEAL-Link
Electronic eBook -
16Published 2008Table of Contents: “… High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description…”
Full Text via HEAL-Link
Electronic eBook -
17
-
18Published 2006Table of Contents: “… from Satisfiability to Knowledge Compilation -- Representing and Reasoning with Operational Semantics…”
Full Text via HEAL-Link
Electronic eBook -
19Published 2006Table of Contents: “… -- Composition of Rule Sets and Ontologies -- Reasoning with Rules and Ontologies -- Integrating Ontologies…”
Full Text via HEAL-Link
Electronic eBook -
20