Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

€32,50
Auteur Jean Gallier
Taal ENG- Engels
Bindwijze Paperback
ISBN/EAN 9780486780825
Serie Dover Books on Computer Science
Genre Onderwijs
Doelgroep Tieners en jongvolwassenen, Volwassenen en jong volwassenen, Volwassenen
BookTok categorie Studieboek / academisch
Title: Default Title
Prix:
€32,50

Foundations of Automatic Theorem Proving, Second Edition

Bestel Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition van Jean Gallier.

Productspecificaties

  • Auteur: Jean Gallier
  • Serie: Dover Books on Computer Science
  • Uitgever: Dover Publications Inc.
  • Verschijningsdatum: 2015-06-26
  • Aantal pagina's: 544
  • ISBN: 9780486780825
  • Thema: Mathematical logic
  • BISAC: MATHEMATICS / Logic

Recommandé pour vous

Dernière consultation