STAY AT HOME, KEEP READING! COVID-19 : これまでとこれから詳しく
STAY AT HOME, KEEP READING!
お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Scheme手習い
Daniel P. Friedman/Matthias Felleisen/元吉 文男/横山 晶一
定理証明手習い
Daniel P. Friedman/Carl Eastlund/中野 圭介
The Little Prover (The MIT Press)
Friedman, Daniel P./Eastlund, Carl/Bibby, Duane
The Little Typer (The MIT Press)
Friedman, Daniel P./Christiansen, David Thrane/Bibby, Duane
The Seasoned Schemer, second edition (The MIT Press)
Friedman, Daniel P./Felleisen, Matthias/Bibby, Duane
The Reasoned Schemer (MIT Press) (The MIT Press)
Friedman, Daniel P/Byrd, William E/Kiselyov, Oleg/Hemann, Jason/Bibby, Duane/Steele Jr, Guy Lewis/Sussman, Gerald Jay