NP-Logic Systems and Model-Equivalence Reductions
Gespeichert in:
Verfasser / Beitragende:
[Yu-Ping Shen, Xi-Shun Zhao]
Ort, Verlag, Jahr:
2010
Enthalten in:
Journal of Computer Science and Technology, 25/6(2010-11-01), 1321-1326
Format:
Artikel (online)
Online Zugang: