by SeikiAkama (Author), KazumiNakamatsu (Author), JairMinoroAbe (Author), Seiki Akama (Author), Kazumi Nakamatsu (Author), Jair Minoro Abe (Author)
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics.
Format: Hardcover
Pages: 202
Edition: 2015
Publisher: Springer
Published: 31 May 2015
ISBN 10: 331917911X
ISBN 13: 9783319179117