The Inverse Method for Many-Valued Logics

First Author: Kovács L
Attributed to:  REVES: REasoning in VErification and Security funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

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