検索結果 1 - 1 結果 / 1 検索語 'ITP(Conference) Berg en Dal, Netherlands)', 処理時間: 0.01秒
結果の絞り込み
-
1
Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings
出版事項 2011請求記号: loading...Available for the University of the Philippines Diliman via SpringerLink. Click here to access
配架場所: loading...
Electronic Resource