Bookbot

First order logic and automated theorem proving

Valoración del libro

4,8(4)Añadir reseña

Compra de libros

First order logic and automated theorem proving, Melvin Fitting

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

Métodos de pago

4,8
Excelente
4 Valoraciones

Nos falta tu reseña aquí