Model-based transformations for quantified boolean formulas /

Model-based transformations for quantified boolean formulas /

Includes bibliographical references and index.

Bibliographic Details
Main Author:	500151 Bubeck, Uwe
Format:
Language:	eng
Published:	Berlin : IOS Pr., 2010
Subjects:	Algebra, Boolean Transformations (Mathematics)

Similar Items

Boolean algebra with computer applications /
by: Williams, Gerald Earl, 1931-
Published: (1970)

Boolean algebra /
by: Goodstein, R. L. (Reuben Louis)
Published: (1963)

Boolean algebra /
by: 172189 Ward, Brice
Published: (1971)

Boolean systems /
by: 342361 Kaye, Douglas
Published: (1970)

Boolean algebras /
by: 318802 Sikorski, Roman
Published: (1969)

Introduction to boolean algebras /
by: 286943 Givant, Steven, et al.
Published: (2009)

Fundamental boolean algebra /
by: 341855 Kuntzmann,J, et al.
Published: (1967)

Boolean functions and equations /
by: 342096 Rudeanu, Sergiu
Published: (1974)

Lectures on boolean algebras /
by: Halmos, Paul R., (Paul Richard), 1916-
Published: (1974)

Simplified independence proofs : Boolean Valued models of set theory /
by: 341990 Rosser, J. Barkley
Published: (1969)

Computer assisted learning in Boolean algebra /
by: Mohd. Daud Kasmuni, et al.

Applied boolean algebra : an elementary introduction /
by: 459092 Hohn, Franz Edward
Published: (1966)

Pseudo-Boolean methods for bivalent programming /
by: 373653 Ivanescu, Petru L.
Published: (1966)

Relations hips among nonlinearity criteria of boolean functions /
by: 339372 Shouichi Hirose, et al.

Logic and boolean algebra /
by: 398742 Levitz, Kathleen, et al.
Published: (1979)

Gate algebra : a rationalized and systematized version of Boolean algebra /
by: 189169 Turnbull, Kenneth Denham
Published: (1976)

Schaum's outline of theory and problems of Boolean algebra and switching circuits /
by: 341948 Mendelson, Elliott
Published: (1970)

Logic I : Boolean algebra
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Boolean matrix theory and applications /
by: 366641 Ki, Hang Kim
Published: (1982)

ABC's of boolean algebra /
by: Lytel, Allan Herbert, 1920-
Published: (1966)

Sets and boolean algebra /
by: 253118 Rueff, Marcel
Published: (1970)

The complexity of Boolean functions /
by: 180167 Wegener, Ingo
Published: (1987)

Boolean-valued models and independence proofs in set theory /
by: 336600 Bell, John Lane
Published: (1977)

Boolean algebra and its uses /
by: 457073 South, G. F.
Published: (1974)

Binary arithmetic and Boolean algebra /
by: 432767 Gillie, Angelo C.
Published: (1965)

Boolean algebra for computer logic /
by: Ennes, Harold E., 1911-
Published: (1978)

Introduction to the comparative method with Boolean algebra /
by: 276928 Caramani, Daniele
Published: (2009)

Boolean algebra and digital computers /
by: 386306 Theodore, Chris Athanasios
Published: (1969)

Gelfand theorem implies Stone representation theorem of Boolean rings
by: Parfeny P. Saworotnow
Published: (1995-01-01)

Extended algebraic immunity of symmetric Boolean function
by: Gao-fei WU, et al.
Published: (2014-11-01)

Practice problems in number systems, logic, and Boolean algebra /
by: 359306 Bukstein, Edward
Published: (1973)

Practice problems in number systems,logic, and Boolean algebra /
by: 359306 Bukstein, Edward
Published: (1977)

Sistem pemudahan Aljabar Boolean - kaedah ESPRESSO /
by: 335991 Rajeswari V . M. Venu Gopal
Published: (1999)

Relationships between post and Boolean algebras with application to multi-valued switching theory / [mikrofilem]
by: 334687 Wojcik, Anthony Stephen

ROUGH LATTICE OVER BOOLEAN ALGEBRA
by: Dipankar Rana, et al.
Published: (2015-03-01)

Role of random generator & problem solver for CAI on minimization of Boolean algebra using karnaugh map /
by: 195724 Liew, Meng Wei
Published: (1994)

The Qualitative Study of Sustainable Sports Development in Iranian Football Clubs: a Boolean Comparative Study
by: Mohammad Heidari, et al.
Published: (2024-01-01)

Class of constructions of even variables Boolean function with optimum algebraic immunity
by: CHEN Yin-dong, et al.
Published: (2009-01-01)

Logic [filem]
Published: ([n.d)

Logic [kasetvideo]
Published: ([19-)