Journal of automated reasoning

Journal of automated reasoning (Online)

Hae kokoteksti

E-aikakauslehti

Kluwer Academic Publishers Springer Netherlands

Tallennettuna:

Kieli

englanti

Huomautukset

Refereed/Peer-reviewed

Julkaisija

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

Luokitus

Dewey-luokitus

511.3

Aiheet

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.

Muu ilmiasu

0168-7433

Julkaistu

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

Julkaisutiheys

Eight issues yearly, 2009-

ISSN

1573-0670

Huomautukset

Some issues combined

Tämän aineiston tarjoaa