Skip to content

Introduction to Annotated Logics

by Jair Minoro Minoro Abe, Seiki Akama, Kazumi Nakamatsu

Cover of Introduction to Annotated Logics

No description available.

Logic, symbolic and mathematicalLogic programming