Intelligent control systems: an introduction with examples: K.M. Hangos, R. Lakner, M. Gerzson, Kluwer Academic Publishers, Dordrecht, 1-4020-0134-7, Copyright 2001, 280pp

Power Distribution Networks in High Speed Integrated Circuits; Andrey Mezhiba, Eby Friedman. Kluwer Academic Publishers, Boston; 2004. Hardcover, 280pp, plus XXIII, ISBN 1-4020-7534-0

Recent Literature Collected by Didier Dubois

R. Babuska, Fuzzy Modeling for Control, Kluwer Academic Publ., Dordrecht, 1998, 288 p. B. Bouchon-Meunier, L. Foulloy, M. Ramdani, Logique Floue Exercices Corriges et Exemples d' Applications, Cepadues Editions. Toulouse, 199B, 200 p. G.Q. Chen, Fuzzy Logic in Data Modeling Semantics, Constraints and Database Design, Kluwer Academic Publ., Boston. 1998, 240 p. K.J. Cios. W. Pedrycz, R.S. Swinia...

Abstraction Refinement for Large Scale Model Checking

ION REFINEMENT FOR LARGE SCALE MODEL CHECKING CHAO WANG NEC Laboratories America Princeton, New Jersey GARY D. HACHTEL University of Colorado Boulder, Colorado FABIO SOMENZI University of Colorado Boulder, Colorado Kluwer Academic Publishers Boston/Dordrecht/London

Varieties of Unital `-Groups and ΨMV-Algebras

(Day 1): References (for general background) →Varieties of lattice-ordered groups, N. R. Reilly, in Lattice-Ordered Groups, Advances and Techniques, A. M. W. Glass and W. C. Holland (eds.), Kluwer Academic Publishers, 1989. Lattice-Ordered Groups, an Introduction, M. Anderson and T. Feil, D. Reidel Pub. Co., 1988. Theory of Lattice-Ordered Groups, M. Darnel, Marcel Dekker, 1995. Partially Order...

Kant , Kuhn , and the Rationality of Science

†Send requests for reprints to the author, Department of History and Philosophy of Science, Goodbody Hall 130, Indiana University, 1011 East Third Street, Bloomington, IN 47405–7005; e-mail: [email protected]. *This paper first appeared in Michael Heidelberger and Friedrich Stadler (eds.) History of Philosophy of Science: New Trends and Perspectives (Dordrecht: Kluwer, 2002) Kluwer Academic ...