Logic for Applications - Texts in Computer Science - Anil Nerode - Böcker - Springer-Verlag New York Inc. - 9780387948935 - 17 januari 1997
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.489

Beställningsvara

Förväntad leverans 8 - 16 okt
Få avisering om nya utgåvor med Anil Nerode

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

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

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 17 januari 1997
ISBN13 9780387948935
Utgivare Springer-Verlag New York Inc.
Antal sidor 476
Mått 156 × 234 × 26 mm   ·   816 g
Språk Engelska   Franska  

Mer från samma **utgivare**

Se alt med Anil Nerode