TYTUŁ ARTYKUŁU

Theorem Provers with Countermodels and xpe

AUTORZY
Motohiko Mouri
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2001 / Tom 30 / Numer 2
STRONY
79 - 87
ROK
2001
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Motohiko Mouri, Theorem Provers with Countermodels and xpe, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 79 - 87

BIBTEX

Motohiko Mouri. Theorem Provers with Countermodels and xpe. Bulletin of the Section of Logic, 30(2):79–87, 2001.

Pokaż kod BibTeX 
@article{bazhum240811,
  author = {Mouri, Motohiko},
  title = {{Theorem Provers with Countermodels and xpe}},
  journal = {Bulletin of the Section of Logic},
  year = {2001},
  volume = {30},
  number = {2},
  pages = {79--87},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/240811}
}