Logic for Applications - Texts in Computer Science - Anil Nerode - Knjige - Springer-Verlag New York Inc. - 9780387948935 - 17. januarja 1997
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca Anil Nerode

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 17. januarja 1997
ISBN13 9780387948935
Založniki Springer-Verlag New York Inc.
Strani 476
Dimenzije 156 × 234 × 26 mm   ·   816 g
Jezik Angleščina   Francoščina  

Več od istega **izdajatelja**

Ogled vseh Anil Nerode ( Na primer Paperback Book in Hardcover Book )