21st annual IEEE symposium on logic in computer science : LICS 2006 : proceedings : 12-15 August 2006 Seattle, Washington. : 4th federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA.
資料に関する注記
一般注記：
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。