| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
XML Reasoning Solver User Manual
Abstract : This manual provides documentation for using the XML reasoning solver.
Cited literature [12 references]
https://hal.inria.fr/inria-00339184
Contributor : Pierre Genevès Connect in order to contact the contributor
Submitted on : Monday, August 22, 2011 - 9:26:42 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:38 PM
Long-term archiving on: : Sunday, December 4, 2016 - 8:44:57 AM
Contributor : Pierre Genevès Connect in order to contact the contributor
Submitted on : Monday, August 22, 2011 - 9:26:42 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:38 PM
Long-term archiving on: : Sunday, December 4, 2016 - 8:44:57 AM
File
RR-6726.pdf
Publisher files allowed on an open archive