Wyniki wyszukiwania:

Dieses Werk ist Teil der Buchreihe TREDITION CLASSICS. Der Verlag tredition aus Hamburg veröffentlicht in der Buchreihe TREDITION CLASSICS Werke aus mehr als zwei Jahrtausenden. Diese waren zu einem Großteil vergriffen oder nur noch antiquarisch erhältlich. Mit der Buchreihe TREDITION CLASSICS verfolgt tredition das Ziel, tausende Klassiker der Weltliteratur verschiedener Sprachen wieder als gedruckte Bücher zu verlegen und das weltweit! Die Buchreihe dient zur Bewahrung der Literatur und Förderung der Kultur. Sie trägt so dazu bei, dass viele tausend Werke nicht in Vergessenheit...

Diese Hardcover-Ausgabe ist Teil der TREDITION CLASSICS. Der Verlag tredition aus Hamburg veröffentlicht in der Buchreihe TREDITION CLASSICS Werke aus mehr als zwei Jahrtausenden. Diese waren zu einem Großteil vergriffen oder nur noch antiquarisch erhältlich. Mit TREDITION CLASSICS verfolgt tredition das Ziel, tausende Klassiker der Weltliteratur verschiedener Sprachen wieder als gedruckte Bücher zu verlegen und das weltweit! Die Buchreihe dient zur Bewahrung der Literatur und Förderung der Kultur. Sie trägt so dazu bei, dass viele tausend Werke nicht in Vergessenheit geraten.

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of...