Reasoning about Solids Using Constraint Logic Programming

Citation
G.pesant,m.boyer, Reasoning about Solids Using Constraint Logic Programming, Journal of automated reasoning , 22(3), 1999, pp. 241-262
ISSN journal
01687433
Volume
22
Issue
3
Year of publication
1999
Pages
241 - 262
Database
ACNP
SICI code