Reasoning about inconsistent formulas

  1. Marques-Silva, J.
  2. Mencía, C.
Konferenzberichte:
IJCAI International Joint Conference on Artificial Intelligence

ISSN: 1045-0823

ISBN: 9780999241165

Datum der Publikation: 2020

Ausgabe: 2021-January

Seiten: 4899-4906

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Datenquelle: Scopus