Tableaux for diagnosis applications
From MaRDI portal
Publication:4610316
DOI10.1007/BFb0027406zbMath1412.68206MaRDI QIDQ4610316
Peter Baumgartner, Wolfgang Nejdl, Ulrich Furbach, Peter Fröhlich
Publication date: 15 January 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
DB lookup for MSC labels failed
Uses Software