Anil Nerode
Logic for Applications - Texts in Computer Science Anil Nerode 2nd Ed. 1997 edition

Name: Logic for Applications - Texts in Computer Science
Price: 136.99 EUR
Availability: OutOfStock
Author: Anil Nerode

Cena

€ 136,99

Objednané zo vzdialeného skladu

Očakávané doručenie 10. - 18. sep

Dostávajte upozornenia na nové nahrávky interpreta Anil Nerode

Naši zákazníci hovoria:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

Paperback Book

Softcover Reprint of the Original 2nd Ed. 1997 edition

(2012) € 51,49

Logic for Applications - Texts in Computer Science

Anil Nerode

2nd Ed. 1997 edition

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Médium	Knihy Hardcover Book (Kniha s pevnou väzbou a obalom)
Vydané	17. januára 1997
ISBN13	9780387948935
Vydavatelia	Springer-Verlag New York Inc.
Strany	476
Rozmery	156 × 234 × 26 mm · 816 g
Jazyk	Angličtina Francúzština