by RudrapatnaK.Shyamasundar (Editor)
This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
Format: Illustrated
Pages: 476
Edition: 1993
Publisher: Springer
Published: 23 Nov 1993
ISBN 10: 3540575294
ISBN 13: 9783540575290