Librerías 
Agenda 
Inicio 
Detalles del libro
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
Leer más - Autores Jean Goubault-Larrecq, Bella Mackie
- ISBN13 9781402003684
- ISBN10 1402003684
- Páginas 444
- Año de Edición 2001
- Fecha de publicación 30/11/2001
- Idioma Alemán, Francés
Reseñas y valoraciones
¡Sé la primera persona en valorarlo!
¿Has leído Proof Theory and Automated Deduction?
Proof Theory and Automated Deduction (Alemán, Francés)
- De
- Jean Goubault-Larrecq, Bella Mackie
- |
- KIHL (2001)
- 9781402003684
28,40€
29,90€
-5%
Envío Gratis
No disponible
28,40€
29,90€
-5%
Envío Gratis
No disponible
Devolución gratis
¡Gracias por comprar en librerías reales!
(1)
Whatsapp
Facebook
Linkedin
X
