Computer Science Logic, 14 conf.EACSL
Peter G. Clote, Helmut Schwichtenberg
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.
