Modèles logiques et systèmes d'intelligence artificielle
Alain DUSSAUCHOY
Availability:
Ebook in PDF format. Available for immediate download after we receive your order
Ebook in PDF format. Available for immediate download after we receive your order
Publisher:
Lavoisier-Hermès
Lavoisier-Hermès
DRM:
ACS4
ACS4
Publication Year:
2021
2021
ISBN-13:
9782746235687
Description:
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
Ebook Preview