libcats.org
Главная

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings: v. 1538

Обложка книги Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings: v. 1538

Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings: v. 1538

,
This book constitutes the refereed proceedings of the 4th Asian Computing Science Conference, ASIAN'98, held in Manila, The Philippines, in December 1998. The 17 revised full papers presented were carefully reviewed and selected from a total of 43 submissions. Also included are a few invited contributions. Among the topics covered are automated deduction, proof theory, rewriting systems, program semantics, distributed processing, algorithms, and graph-theoretical aspects.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: