Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Kozen, Dexter 1951-', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    Dynamic logic ανά Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    Έκδοση 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic

Εργαλεία αναζήτησης: