- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
基本説明
Theory of computation offers students a carefully developed and complete introduction to formal logic which is used in logic programming languages and automatic resoning systems.
Theory of computation offers students a carefully developed and complete introduction to formal logic which is used in logic programming languages and automatic resoning systems.