4.5
Història 
Agenda 
Llibreries 
Inici 
Detalls del llibre
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.
Llegir més - Autors Jean Goubault-Larrecq, Bella Mackie
- ISBN13 9781402003684
- ISBN10 1402003684
- Pàgines 444
- Any Edició 2001
- Fecha de publicación 30/11/2001
- Idioma Alemany, Francès
Ressenyes i valoracions
Sigues la primera persona a valorar-lo!
Has llegit Proof Theory and Automated Deduction?
Proof Theory and Automated Deduction (Alemany, Francès)
- De
- Jean Goubault-Larrecq, Bella Mackie
- |
- KIHL (2001)
- 9781402003684
28,40€
29,90€
-5%
Enviament Gratuït
No disponible
28,40€
29,90€
-5%
Enviament Gratuït
No disponible
Devolució gratuïta
Gràcies per comprar a llibreries reals!
(1)
Whatsapp
Facebook
Linkedin
X
