NP-Logic Systems and Model-Equivalence R
โ
Yu-Ping Shen; Xi-Shun Zhao
๐
Article
๐
2010
๐
Springer
๐
English
โ 259 KB