Journal of automated reasoning.

Bibliographic Details
Uniform Title:	Journal of automated reasoning (Online)
Format:	Journal
Language:	English
Published:	[Dordrecht] : Kluwer Academic Publishers.
Subjects:	Automatic theorem proving > Periodicals. Artificial intelligence > Periodicals. Logic programming > Periodicals. Théorèmes > Démonstration automatique > Périodiques. Intelligence artificielle > Périodiques. Programmation logique > Périodiques.
Online Availability:

Available Online