<図書>
Études et recherches en informatique
データ種別 | 図書 |
---|---|
出版者 | Paris : Masson |
子書誌情報
1 | Lambda-calcul : types et modèles / Jean-Louis Krivine Paris : Masson , 1990 |
書誌詳細
書誌ID | 1000001611 |
---|---|
NCID | BA11153754 |
登録日 | 1991.12.05 |
更新日 | 1996.03.07 |