お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
PROGRAM = PROOF
Mimram, Samuel
The Liquidsoap book
Mimram, Samuel/Beauxis, Romain
Program = proof
Samuel Mimram
Polygraphs : from rewriting to higher categories
Dimitri Ara [and five others]
Directed algebraic topology and concurrency
Lisbeth Fajstrup ... [et al.]