Home Advanced Search

Advanced Search - Page 1

Decidability of Logical Theories and Their Combination
  • PDF
  • English
  • Year: 2020
  • Author: João Rasga, Cristina Sernadas
Analysis and synthesis of logics: How to cut and paste reasoning systems
  • PDF
  • English
  • Year: 2008
  • Author: Gouveia, Paula; Coniglio, Marcelo; Sernadas, Cristina; Carnielli, Walter; Gabbay, Dov M
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Analysis and synthesis of logics: how to cut and paste reasoning systems
  • PDF
  • English
  • Year: 2008
  • Author: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Diagnostic and Therapeutic Neuroradiology: A Case-Based Guide to Good Practice
  • PDF
  • English
  • Year: 2018
  • Author: João Xavier,Cristiana Vasconcelos,Cristina Ramos (eds.)
Digital Libraries for Open Knowledge: 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes
Universities, Entrepreneurial Ecosystems, and Sustainability
  • EPUB
  • English
  • Year: 2021
  • Author: Cristina Fernandes (editor); Marcela Ramírez-Pasillas (editor); João J. Ferreira (editor)
Universities, Entrepreneurial Ecosystems, and Sustainability
  • PDF
  • English
  • Year: 2021
  • Author: Cristina Fernandes (editor); Marcela Ramírez-Pasillas (editor); João J. Ferreira (editor)
search