Automatic white-box testing of first-order logic ontologies

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

ISSN: 1465-363X,  0955-792X

Datum der Publikation: 2019

Ausgabe: 29

Nummer: 5

Seiten: 723-751

Art: Artikel

DOI: 10.1093/LOGCOM/EXZ001 GOOGLE SCHOLAR
Datenquelle: Scopus