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

Document type :
Books
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01874862
Contributor : Pascal Lafourcade <>
Submitted on : Friday, September 14, 2018 - 7:35:30 PM
Last modification on : Friday, March 15, 2019 - 1:14:51 AM

Identifiers

  • HAL Id : hal-01874862, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

72