Modèles logiques et systèmes d'intelligence artificielle
Luisa Iturrioz- 01/01/1989
- Lavoisier-Hermès
Résumé
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
Caractéristiques
- Éditions : Lavoisier-Hermès
- Auteur : Luisa Iturrioz
- Nombre de pages : 352
- ISBN : 9782866012052
- Date de publication : 1 janvier 1989
- Poids (g) : 760
- Reliure : Relié
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
