The Inverse Method for Many-Valued Logics
Attributed to:
REVES: REasoning in VErification and Security
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-45114-0_2
Publication URI: http://dx.doi.org/10.1007/978-3-642-45114-0_2
Type: Book Chapter
Book Title: Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I (2013)
Page Reference: 12-23
ISBN: 978-3-642-45113-3