First International Symposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/ Linz, Austria, September 26-28, 1994 / editor, Hoon Hong



Digitised Book 216.73.216.10 (0)

1994

First International Symposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/ Linz, Austria, September 26-28, 1994 / editor, Hoon Hong

  • Share


Information About

The scope of this collection of symposium proceedings includes algorithms, languages, software systems and application in any area of parallel symbolic computation such as parallel computer algebra, parallel automated deduction, parallel constraint/logic languages, parallel functional languages where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, etc.

Subjects

Parallel programming (Computer science)--Congresses

Categories

Science and technology

Other issues in the series

title
{{block.title}}
{{ element }}
Previous

{{nextOffset + 1}} / {{total}}

Next

Additional Details

Title
First International Symposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/ Linz, Austria, September 26-28, 1994 / editor, Hoon Hong
Creators
  • International Symposium on Parallel Symbolic Computation (1st : 1994 : Linz, Austria)
Subject
  • Parallel programming (Computer science)--Congresses
Publisher
  • World Scientific, 1994
  • National Library Board Singapore, 1994
Contributors
  • Hong, Hoon
Digital Description
application/pdf, ill.
Table of Contents
  • Preface -- Constraint-based knowledge brokers -- A strategy-accurate parallel Buchberger algorithm -- On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method -- Local and conditional blackboard operations in log: semantics, applicability, and implementation -- Parallelising a functional program using a list-homomorphism skeleton ...
Copyright
  • All Rights Reserved. National Library Board Singapore 2009.