The book is currently out of stock

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Authors

Jürgen Giesl

Parameters

Categories

Computers, IT, Programming

Series: Dissertationen zur künstlichen Intelligenz

Book purchase

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen, Jürgen Giesl

Language
Released: 1995

We’ll notify you via email once we track it down.

Payment methods