Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre - Archive ouverte HAL
Ouvrages Année : 2012

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre

Pascal Lafourcade
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
CV
Stéphane Devismes
VERIMAG
Michel Lévy
  • Fonction : Auteur
Chercheur indépendant

Domaines

Logique en informatique [cs.LO]

Pascal Lafourcade  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01874862

Soumis le : vendredi 14 septembre 2018-19:35:30

Dernière modification le : jeudi 4 avril 2024-18:27:33

Fichier non déposé

Dates et versions

hal-01874862 , version 1 (14-09-2018)

Identifiants

  • HAL Id : hal-01874862 , version 1

Citer

Pascal Lafourcade, Stéphane Devismes, Michel Lévy. Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre. 2012. ⟨hal-01874862⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA PRES_CLERMONT IMAG CNRS LIMOS VERIMAG CAP20-25 ANR CLERMONT-AUVERGNE-INP
225 Consultations
0 Téléchargements

Partager

More