サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
www.cs.rice.edu/~vardi
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science Room 110, National Science Foundation, Arlington, VA January 22, 2001 Organizer: Moshe Y. Vardi The workshop is open to the general public. Background: During the past twenty five years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides compute
このページを最初にブックマークしてみませんか?
『www.cs.rice.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く