ヘルプ
ヘルプ

検索結果 1 件

17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.

17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.
紙図書
IEEE Computer Societyc2002.<M17-03-4442>
国立国会図書館
  • 件名Computer science -- Mathematics -- Congresses. Logic, Symbolic and mathematical. -- Congresses.
  • 一般注記Papers. IEEE cat no PR01483.
  • 並列タイトル等（連結）17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the 3rd federated logic conference : 22-25 July 2002 : Co...

検索結果は以上です。