このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Lambda-calcul : types et modèles

責任表示 Jean-Louis Krivine
シリーズ Études et recherches en informatique
データ種別 図書
出版者 Paris : Masson
出版年 1990
本文言語 フランス語
大きさ viii, 176 p ; 25 cm

所蔵情報


伊都図(中央) BF 開架 068582190016662 418/Kr 5/1 1990

書誌詳細

一般注記 Bibliography: p. [167]-170
Includes index
著者標目 Krivine, Jean-Louis
書誌ID 1000001613
ISBN 2225820910
NCID BA11629253
巻冊次 ISBN:2225820910
登録日 1991.12.05
更新日 2011.08.12