Logic for Computer Science

Name: Logic for Computer Science
Brand: Dover Publications Inc.
SKU: 9780486780825
Price: 22.99 EUR
Availability: InStock

Foundations of Automatic Theorem Proving, Second Edition

Autor: Jean Gallier

Jazyk:

Väzba: Brožovaná

Vydavateľ: Dover Publications Inc.

Dostupnosť: 50 % šanca

Prehľadáme celý svet

22.99 €

This advanced text for undergraduate and graduate students introduces mathematical logic with an emp...

Informácie o knihe

Autor

Jean Gallier

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2015

Stránok

544

EAN

9780486780825

ISBN

0486780821

Enbook ID

02569839

Vydavateľ

Dover Publications Inc.

Hmotnosť

758

Rozmery

158 x 237 x 35

Kompletný popis

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež