お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Guttman, Joshua D.／Wand, Mitchell
S. Ephraim's Prose Refutations of Mani, Marcion, and Bardaisan
Ephraem, Syrus／Mitchell, Charles Wand／Bevan, A A
Essentials of Programming Languages
Friedman, Daniel P.／Wand, Mitchell／Haynes, Christopher T.
Induction, Recursion and Programming
Wand, Mitchell
Essentials of programming languages
Daniel P. Friedman, Mitchell Wand
VLISP : a verified implementation of scheme
edited by Joshua D. Guttman, Mitchell Wand

カーリルについて - 図書館の方へ - ローカル - 図書館 API - バナー・素材

ホーム - 運営会社 - ブログ - Twitter - 図書館の自由 - プライバシーポリシー - お問い合わせ