Automatic white-box testing of first-order logic ontologies

  1. Álvez, J.
  2. Hermo, M.
  3. Lucio, P.
  4. Rigau, G.
Revue:
Journal of Logic and Computation

ISSN: 1465-363X,  0955-792X

Année de publication: 2019

Volumen: 29

Número: 5

Pages: 723-751

Type: Article

DOI: 10.1093/LOGCOM/EXZ001 GOOGLE SCHOLAR
La source de données: Scopus