Computational Logic Products

  • Time & Logic

    A Computational Approach, 1st Edition

    Edited by Leonard Bolc, Andrzej Szałas

    Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to…

    Hardback – 2020-03-31 
    Routledge
    Routledge Revivals

  • Swarm Intelligence: From Social Bacteria to Humans

    From Social Bacteria to Humans, 1st Edition

    Edited by Andrew Schumann

    The notion of swarm intelligence was introduced for describing decentralized and self-organized behaviors of groups of animals. Then this idea was extrapolated to design groups of robots which interact locally to cumulate a collective reaction. Some natural examples of swarms are as follows: ant…

    Hardback – 2020-04-15 
    CRC Press

Product Search