Bookbot

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

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

Keiner hat bisher bewertet.Abgeben