Peter Clote, Evangelos Kranakis

eBook, PDF

Boolean Functions and Computation Models (eBook, PDF)

Beschreibung

This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an overriding focus on the structure of "fast" parallel computation.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 52.29MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 602
• Erscheinungstermin: 9. März 2013
• Englisch
• ISBN-13: 9783662049433
• Artikelnr.: 53135309

Rezensionen

From the reviews: "The monograph gives the most recent and complete description of lower bounds for depth-restricted circuits, and propositional proof systems. ... the authors present a research monograph on important subjects and provide many very recent results. I would recommend it for any university library and also for researchers." (Ingo Wegener, The Computer Journal, Vol. 46 (3), 2003)