El libro está agotado actualmente
Compra de libros
Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus
- Idioma
- Publicado en
- 1995
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.