Publication:4548196
From MaRDI portal
zbMath1009.68111MaRDI QIDQ4548196
Publication date: 21 August 2002
68T01: General topics in artificial intelligence
Related Items
Efficient on-line algorithms for Euler diagram region computation, Syllogisms in rudimentary linear logic, diagrammatically, Automated theorem proving in Euler diagram systems