Journal of automated reasoning

Journal of automated reasoning (Online)

E-tidskrift

Kluwer Academic Publishers Springer Netherlands

Sparad:

Språk

engelska

Beskrivning

Refereed/Peer-reviewed

Utgivare

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

Klassifikation

DDK-klassifikation

511.3

Ämnen

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.

Annan form

0168-7433

Publicerad

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

Utgivningsfrekvens

Eight issues yearly, 2009-

ISSN

1573-0670

Anmärkningar

Some issues combined

Materialet erbjuds av