Journal of Automated Reasoning

Journal of Automated Reasoning

SFX

Hae kokoteksti

E-kausijulkaisu

Hybrid

Tallennettuna:

Kieli

englanti

Julkaisija

NETHERLANDS Hybrid

Aiheet

Information Technology → General and Others

Mathematical Sciences → Algorithms

Mathematical Sciences → Applied Mathematics

Mathematical Sciences → Stochastic Computation

Muu ilmiasu

1573-0670

ISSN

0168-7433

Saatavuustiedot

Henkilökuntanäyttö