ENGLISH

Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540653880, 9783540653882
DOI
10.1007/3-540-49366-2
LCC
QA75.5 .A735 1998
Open Library ID
OL388504M
Language
english
Format
PDF
Filesize
4 MB (4533157 bytes)
Series
Lecture Notes in Computer Science 1538
Edition
1
Pages
314\314
Library
Kolxo3
Time added
2011-01-08 23:22:23

Description

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.

Similar books