Résultat de la recherche

Automated Theorem Proving Anglais 01.01.1987 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Fundamentals of Artificial Intelligence Anglais 22.04.2014 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Scalable Search in Computer Chess Anglais 14.12.1999 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
5th Conference on Automated Deduction Anglais 01.01.1960 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Automated Deduction, 3 Vols. Anglais 01.03.2013 Livre Fr. 550.80 min. 4 semaines (titre commandé spécialement)