Articles liés à Applied Logic for Computer Scientists: Computational...

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Couverture souple

 
9783319516523: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Foreword. - Preface.- Introduction.- Derivation and Proofs in the Propositional Logic.- Derivations and Proofs in the Predicate Logic.- Deductions in the Style of Gentzen's Sequent Calculus.- Derivations and Formalizations.- Algebraic and Computational Examples.- Suggested Readings.- Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2017
  • ISBN 10 3319516523
  • ISBN 13 9783319516523
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783319516516: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Edition présentée

ISBN 10 :  3319516515 ISBN 13 :  9783319516516
Editeur : Springer, 2017
Couverture souple