Frais de port offerts dès 30 € d’achat (France Métropolitaine)
- Home
- Coup de coeur
- Occasion
- Qui sommes nous
- Bons Cadeaux
- Blog
- Beaux-Arts
- Bande dessinée - Mangas
- Sciences Humaines
- Dictionnaires - Langues
- Economie et administration d'entreprise
- Droit
- Histoire-Géographie
- Informatique - Sciences - Techniques
- Jeunesse
- Adolescents - Jeunes adultes
- Littérature
- Médecine
- Sciences Fondamentales
- Pratique de la Médecine
- Spécialités Médico-Chirurgicale
- Anesthésie - Urgence
- Cardiologie - Circulation - Hématologie
- Hépato - Gastroentérologie
- Dermatologie
- Endocrino - Nutrition
- Gérontologie
- Gynécologie - Obstétrique
- Epidémiologie - Maladie Infectieuse
- Nephro-urologie
- Neurologie - Psychiatrie
- Laboratoire
- Opthalmologie
- Pneumologie - ORL
- Pédiatrie
- Traumatologie - Médecine Sportive
- Chirurgie
- Cancérologie
- Autres spécialités
- Disciplines paramédicales
- Ouvrages Généraux
- Polar
- Littérature en poche
- ACTUALITE- QUESTIONS DE SOCIETE
- Religions - Spiritualités
- Scolaire
- Tourisme et Sport
- Art de vivre
- Science Fiction et Fantasy
Modèles logiques et systèmes d'intelligence artificielle
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
lire la suite
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
9782866012052
100000
Produits
Auteur :
Dussauchoy, Alain
Iturrioz, Luisa
Date de parution : 01/01/1989
Éditeur : Lavoisier-Hermès
Classification : Informatique
Lirandco vous recommande
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
Livraison offerte dès 30 € d’achat
(France Métropolitaine)
Clic & Collecte gratuit
07400 Le Teil (Ardèche)
Paiement 100% sécurisé
Carte bancaire
Service client de 8h30 à 17h
06 70 63 29 00