arXivmath/0611937MaRDI QIDQ6478334
No author found.
Publication date: 30 November 2006
Mathematics Subject Classification ID
Logic in artificial intelligence (68T27) Knowledge representation (68T30)
