Monographie

Logic for computer science [texte imprimé] : foundations of automatic theorem proving / Jean H. Gallier

Type de contenu
  • Texte
Titre(s)
  • Logic for computer science [texte imprimé] : foundations of automatic theorem proving / Jean H. Gallier
Mention d'édition
  • 2d ed.
Editeur, producteur
  • Mineola (N.Y.) : Dover Publications, 2015
Description matérielle
  • 496 p. ; 24 cm
Note sur les bibliographies et les index
  • Bibliogr. 473-477. Notes bibliogr. en fin de chapitres. Index
Sujet - Nom commun
Lien copié.
Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)