libcats.org
Главная →
Computation and Reasoning: A Type Theory for Computer Science
Computation and Reasoning: A Type Theory for Computer Science
Zhaohui Luo
Популярные книги за неделю:
Только что пользователи скачали эти книги:
Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised
Автор: Christian Freksa, Автор: Markus Knauff, Автор: Bernd Krieg-Brückner, Автор: Bernhard Nebel, Автор: Thomas Barkowsky
|
