1.

Record Nr.

UNINA9910142430903321

Titolo

Journal of automated reasoning

Pubbl/distr/stampa


Kluwer Academic Publishers
Netherlands, : Springer Netherlands

ISSN

1573-0670

Descrizione fisica

1 online resource

Disciplina

511.3

Soggetti

Automatic theorem proving

Artificial intelligence

Logic programming

Théorèmes - Démonstration automatique

Intelligence artificielle

Programmation logique

Demostració automàtica de teoremes

Intel·ligència artificial

Lingüística

Informàtica

Periodicals.

Revistes electròniques.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Periodico

Note generali

Refereed/Peer-reviewed