Das Buch ist derzeit nicht auf Lager

The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms

Autoren

Franz Winkler

Parameter

Kategorien

Informatik & Programmierung

Reihe: Dissertationen der Johannes-Kepler-Universität Linz

Buchkauf

The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms, Franz Winkler

Sprache
Erscheinungsdatum: 1984

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge