Prikaz rezultata 1 – 1 od 1 za pretragu 'Kozen, Dexter 1951-', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    Dynamic logic od Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Izdano 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic

Alati za pretragu: