libcats.org
Главная

Computer Science Logic, 14 conf.EACSL

Обложка книги Computer Science Logic, 14 conf.EACSL

Computer Science Logic, 14 conf.EACSL

,
Proceedings of the 14th International Workshop, CSL 2000, Annual Conference of the EACSL, held in Fischbachau, Germany, August 21-26, 2000. Topics covered by this year's papers included automated deduction and interactive theorem proving, categorical logic and topological semantics, and higher order logic. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: