TY  - BOOK
AU  - Jair Minoro Abe
AU  - Seiki Akama
TI  - Introduction to Annotated Logics
SN  - 9783319179117
CY  - Wiesbaden
KW  - COMPUTER_SCIENCE_ENGINEERING
ER  -