Chapter: Machine Models and Function Algebras

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Boolean Functions and Computation Models > Machine Models and Function Algebras

Boolean Functions and Computation Models |

Peter Clote; Evangelos Kranakis

Springer Berlin Heidelberg

Boolean Functions and Computation Models

Machine Models and Function Algebras

Chapter Info

Authors

Peter Clote; Evangelos Kranakis

ARI Id

1664956528665_4226248

Access

Not Available Free

Pages

413-495

DOI

10.1007/978-3-662-04943-3_6

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-04943-3_6

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 9 of 9 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-XIV
Boolean Functions and Circuits	Peter Clote; Evangelos Kranakis	1-60
Circuit Lower Bounds	Peter Clote; Evangelos Kranakis	61-154
Circuit Upper Bounds	Peter Clote; Evangelos Kranakis	155-205
Randomness and Satisfiability	Peter Clote; Evangelos Kranakis	207-245
Propositional Proof Systems	Peter Clote; Evangelos Kranakis	247-412
Machine Models and Function Algebras	Peter Clote; Evangelos Kranakis	413-495
Higher Types	Peter Clote; Evangelos Kranakis	497-567
Back Matter		569-602
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 9 of 9 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries