Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledgeOpen Website

2010 (modified: 28 Oct 2022)ACM Commun. Comput. Algebra 2010Readers: Everyone
0 Replies

Loading