LIBROS DEL AUTOR: dmgabbay

3 resultados para LIBROS DEL AUTOR: dmgabbay

dmgabbay Eliminar filtro Quitar filtros
  • Second Order Quantifier Elimination
    A. Szalas / ASzalas / D. M. Gabbay / DMGabbay / R. Schmidt / RSchmidt
    In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between:* the need for a representational...
    Disponible

    41,78 €

  • A New Approach to Quantum Logic
    D. Lehmann / D. M. Gabbay / DLehmann / DMGabbay / K. Engesser / KEngesser
    This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics.Its message rests on two pillars. The first pillar is the dynamic view of propositions. Propositions are viewed as acting on states of the world and changing them rather than just being true or false in them. The second pillar is a logical enquiry into the natur...
    Disponible

    38,89 €

  • Logic for Artificial Intelligence and Information Technology
    D. M. Gabbay / DMGabbay
    Logic for Artificial Intelligence and Information Technology is based on student notes used to teach logic to second year undergraduates and Artificial Intelligence to graduate students at the University of London since1984, first at Imperial College and later at King’s College.Logic has been applied to a wide variety of subjects such as theoretical computer science, software ...
    Disponible

    43,98 €