Das Buch ist derzeit nicht auf Lager

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Autoren

Jürgen Giesl

Parameter

Kategorien

Informatik & Programmierung

Reihe: Dissertationen zur künstlichen Intelligenz

Buchkauf

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

Sprache
Erscheinungsdatum: 1995

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden