← Back to Browse
Automatisierung von Terminierungsbeweisen

Automatisierung von Terminierungsbeweisen

by Christoph Walther

Subjects

Algorithmus Automatisches Beweisverfahren Terminierung
Read on Open Library More by Christoph Walther

Related Books

Introduction to Algorithms

Introduction to Algorithms

Thomas H. Cormen

199018 ed.
Grokking Algorithms: An illustrated guide for programmers and other curious people

Grokking Algorithms: An illustrated guide for programmers and other curious people

Aditya Y. Bhargava

20161 ed.
Algorithms of Oppression

Algorithms of Oppression

Safiya Umoja Noble

20184 ed.
The Master Algorithm

The Master Algorithm

Pedro Domingos

20158 ed.
Classical and object-oriented software engineering

Classical and object-oriented software engineering

Stephen R. Schach

199616 ed.
Computer algorithms

Computer algorithms

Sara Baase

19785 ed.
How to solve it by computer

How to solve it by computer

R. G. Dromey

19822 ed.
Programming pearls

Programming pearls

Jon Louis Bentley

19863 ed.