Paul B. Thistlewaite

1 artykuły w 1 czasopismach

• A mechanized decision procedure for non-classical logics: The program KRIPKE Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 189 - 192

  ROK: 1980

  Michael A. McRobbie Robert K. Meyer Paul B. Thistlewaite

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat