Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings, Volume 1
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract abstract data types algorithm application attributes axioms behavioural implementations canonical clause coercion Common Lisp complete components computer algebra systems Computer Science constraints construction context induction coroutines critical pairs data types database declared defined definition denoted derived Diophantine Diophantine equations domain efficient elements environment equations equivalent evaluation example expressions finite formula Fortran function symbols functor given goal graph graphics Grobner ground terms input integral domain integrated IRENA linear Lisp Logic Programming Loglan loop check MACSYMA mathematical matrix module morphisms objects occurs check operations output pairs parameters polymorphic type polynomial predicate problem Proc programming language Prolog proof properties PROTOB PTTP representation result rewrite ring rules Scratchpad semantics simplified SISYPHE solve sort specification subsumption subtypes symbolic computation syntactic techniques theorem prover theory type inference type system unification user interface values window X Window System