Home Advanced Search

Advanced Search - Page 1

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
Unrestricted and finite model reasoning in class-based representation formalisms [PhD Thesis]
  • PDF
  • English
  • Year: 1996
  • Author: Diego Calvanese
Specification and verification of declarative open interaction models : a logic-based approach
  • PDF
  • English
  • Year: 2010
  • Author: Montali, Marco
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
  • PDF
  • English
  • Year: 2010
  • Author: Marco Montali
Process Mining Workshops: ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers
  • EPUB
  • English
  • Year: 2023
  • Author: Marco Montali; Arik Senderovich; Matthias Weidlich
Process Mining Workshops: ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing, 468)
  • PDF
  • English
  • Author: Marco Montali (editor), Arik Senderovich (editor), Matthias Weidlich (editor)
The Description Logic Handbook
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider
The Chastoiement and the Decameron : rhetorical "examples" of vernacularization
  • PDF
  • English
  • Year: 1993
  • Author: Roman, Marco David
Christian hermeneutics : Paul Ricoeur and the refiguring of theology
  • PDF
  • English
  • Year: 1995
  • Author: Ricœur, Paul; Fodor, James
Introduction To Quantum Field Theory
  • PDF
  • English
  • Year: 1969
  • Author: Paul Roman
search