Bokus

Nikolaj Bjorner

Visar alla böcker från författaren Nikolaj Bjorner. Handla med fri frakt och snabb leverans.

  1. Distributed Computing and Internet Technology

    Distributed Computing and Internet Technology

    2015

  2. Perspectives of System Informatics

    Perspectives of System Informatics

    2019

  3. FM 2015: Formal Methods

    FM 2015: Formal Methods

    2015

  4. Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    2011

  5. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    2012