Journal of Automated Reasoning

Journal of Automated Reasoning

SFX

Get full text

eSerial

Hybrid

Saved in:

Language

English

Publisher

NETHERLANDS Hybrid

Subjects

Information Technology → General and Others

Mathematical Sciences → Algorithms

Mathematical Sciences → Applied Mathematics

Mathematical Sciences → Stochastic Computation

Additional form

1573-0670

ISSN

0168-7433