elsevier bv aug 2002 (3 Ergebnisse)

Buch. Zustand: Neu. Neuware - Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.

Buch. Zustand: Neu. Neuware - Created in 1975, LMT-Cachan is a joint laboratory École Normale Superieure de Cachan, Pierre & Marie Curie (Paris 6) University and the French Research Council CNRS (Department of Engineering Sciences).

Buch. Zustand: Neu. Neuware - The major theme of this book is environmental preservation by controlling release of undesirable greenhouse gases to realize the sustainable development of animal agriculture. Technology exists for the effective collection of methane generated from anaerobic fermentation of animal effluent and its use as a biomass energy source. Fossil fuel consumption can be reduced and there can be increased use of locally available energy sources. In addition, promoting environmentally-conscious agriculture which does not rely on the chemical fertilizer can be realized by effective use of animal manure and compost products.