4 133 résultats
1998réf. USD_9780124759787AP 1998. 1st. Hardcover. Used - Like New/Used - Like New. AP hardcover
réf. 3656274908.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 3346857522.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. B9783319318011Hardback. New. In this volume different aspects of logics for dependence and independence are discussed including both the logical and computational aspects of dependence logic and also applications in a number of areas such as statistics social choice theory databases and computer security. The contributing authors represent leading experts in this relatively new field each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern Germany in February 2013 and June 2015 and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences March 2014. Altogether these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians mathematicians statisticians philosophers and scientists. Topics covered include a comprehensive survey of many propositional modal and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies embedded multivalued dependencies and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing pointing out connections to dependence and independence logic. hardcover
réf. B9783540419600Paperback / softback. New. This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications TLCA 2001 held in Krakow Poland in May 2001. paperback
réf. 6707340ABC-Clio Incorporated . Hardback. New. pp. 258 ABC-Clio, Incorporated hardcover
réf. 384431508X.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 3845444266.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 3846531618.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 3844315241.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 091101070X.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 9780847844517Rizzoli New York
réf. 45400666like new. unknown
1994réf. Q-0873064615Feldheim Publishers 1994-02-20. Hardcover. New. In shrink wrap. Looks like an interesting title! Feldheim Publishers hardcover
réf. 6209414591.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 6209401791.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1933réf. 564331 vol. in-12 br., Librairie Lipschutz, Paris, 1933, 64 pp.
réf. 6209409474.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. ria9798863230016_inpPaperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Over the past 100 years angel Jibril Gabriel had revealed to Prophet Mirza Ghulam Ahmad 1835-1908 the codes which were to be applied in the ultimate understanding of the Holy Quran. These 15 codes are: Boron-5 Cobalt-27 Helium-2 paperback
réf. 6209412033.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 6209406912.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 3861957876.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. B9780387946672Paperback / softback. New. This work introduces the concepts of biological diversity ecological process biotic and ecological sustainability that underlie ecosystem management. paperback
réf. 6209581978.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
réf. 6209587097.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
