|
by Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi
Published 2015
Table of Contents:
“...Introduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues...”Published 2015
Springer International Publishing