Reasoning About Inconsistent Formulas

  1. Marques-Silva, Joao
  2. Mencia, Carlos
Liburua:
Proceedings of the twenty-ninth International Joint Conference on Artificial Intelligence
  1. Bessiere, C (coord.)

ISBN: 978-0-9992411-6-5

Argitalpen urtea: 2020

Orrialdeak: 4899-4906

Biltzarra: 29th International Joint Conference on Artificial Intelligence

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS