Journal of automated reasoning

Journal of automated reasoning (Online)

eJournal

Kluwer Academic Publishers Springer Netherlands

Saved in:

Language

English

Item Description

Refereed/Peer-reviewed

Publisher

[Dordrecht] : Kluwer Academic Publishers
[Netherlands] : Springer Netherlands

Classification

Dewey Classification

511.3

Subjects

Automatic theorem proving → Periodicals.

Artificial intelligence → Periodicals.

Logic programming → Periodicals.

Théorèmes → Démonstration automatique → Périodiques.

Intelligence artificielle → Périodiques.

Programmation logique → Périodiques.

Additional form

0168-7433

Publish date

Print began with vol. 1, no. 1, published in 1985.

Publication Frequency

Eight issues yearly, 2009-

ISSN

1573-0670

Notes

Some issues combined

Material provided by