Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Le Pitch
Ce livre rassemble des articles classiques sur la logique computationnelle publiés entre 1957 et 1966. Ces textes fondamentaux ont jeté les bases de l'automatisation du raisonnement, un domaine clé de l'intelligence artificielle. Les auteurs abordent des sujets tels que la démonstration automatique de théorèmes et la résolution de problèmes logiques. Cette compilation offre un aperçu précieux des débuts de la recherche en logique informatique. Afficher moinsAfficher plus

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Indisponible
Sélectionnez la condition
Indisponible
Etre averti(e) de la disponibilité

Le Pitch

Ce livre rassemble des articles classiques sur la logique computationnelle publiés entre 1957 et 1966. Ces textes fondamentaux ont jeté les bases de l'automatisation du raisonnement, un domaine clé de l'intelligence artificielle. Les auteurs abordent des sujets tels que la démonstration automatique de théorèmes et la résolution de problèmes logiques. Cette compilation offre un aperçu précieux des débuts de la recherche en logique informatique. Afficher moinsAfficher plus

Détails du livre

Titre complet
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
Format
Relié
Publication
01 avril 1983
Pages
540
Taille
-0.1 x -0.1 x -0.1 cm
Poids
1010
ISBN-13
9783540120438
Livré entre : 24 juillet - 27 juillet
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR et BE) à partir de 20,00 € de livres d'occasion
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés