検索結果 1 - 1 結果 / 1 検索語 'International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

    出版事項 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

検索ツール: