Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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, and Automatic Programming.
Autor*in
Alfonso Miola
Themen in »Design and Implementation of Symbolic Computation Systems«
Computeralgebra Scratch Softwareumgebungen Symbolisches Rechnen System automated reasoning automation automatisches Programmieren automatisches Schließen expert system formal method logic object programming proving