Clote P.G., Schwichtenberg H. — Computer Science Logic
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Computer Science Logic
Авторы: Clote P.G., Schwichtenberg H.
Аннотация:
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.
|
|
О проекте