Bookbot

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

Compra de libros

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

Idioma
Publicado en
1984
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña