Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationship...

La nueva novela oficial de Sherlock Holmes, encargada por los herederos de sir Conan Doyle.En noviembre de 1890, el invierno de Londres no da tregua. Sherlock Holmes y el doctor Watson están tomando el té junto a la chimenea cuando un caballero evidentemente nervioso irrumpe en el 221B de Baker Street. Tras contarle a Holmes una desconcertante historia acerca de un individuo que le ha estado siguiendo las últimas semanas, le suplica que le ayude.Intrigados ...