Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara '' Findu emaitzak
  1. 1
    Argitaratua 1989
    Conference Proceeding Liburua
    Gogokoenen artean sartu
    Gorde:
    CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
  2. 2
    Argitaratua 1990
    Conference Proceeding Liburua
    Gogokoenen artean sartu
    Gorde:
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /

Bilaketa egiteko lanabesak: