Cover Image

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /

"This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a part...

Full description

Bibliographic Details
Corporate Authors: International Symposium DISCO '96 Karlsruhe, Germany, SpringerLink (Online service)
Other Authors: Calmet, Jacques, Limongelli, Carla
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1128.
Subjects:
System design > Congresses.
Automatic theorem proving > Congresses.
Mathematics > Data processing > Congresses.
conception système.
réécriture.
raisonnement automatique.
calcul formel.
conception logiciel.
Mathématiques > Informatique > Congrès.
Systèmes, Conception de > Congrès.
Théorèmes > Démonstration automatique > Congrès.
Automatic theorem proving.
Mathematics > Data processing.
System design.
Programmatuurtechniek.
Electronic books.
Conference proceedings.
Electronic resources (Books)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.S88 I576 1996
 
Call Number Status Get It
QA76.9.S88 I576 1996 Available