- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.



