Logic for Applications - Texts in Computer Science - Anil Nerode - Boeken - Springer-Verlag New York Inc. - 9780387948935 - 17 januari 1997
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 135,49

Besteld in een afgelegen magazijn

Verwachte levering 1 - 9 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 17 januari 1997
ISBN13 9780387948935
Uitgevers Springer-Verlag New York Inc.
Pagina's 476
Afmetingen 156 × 234 × 26 mm   ·   816 g
Taal en grammatica Engels   Frans  

Meer door Anil Nerode

Alles tonen

Bekijk alles van Anil Nerode ( bijv. Paperback Book en Hardcover Book )