Journal of Automated Reasoning

Código CCN: 085503-0


ISSN (Online): 0168-7433
Quốc gia: Não informado
Nhà xuất bản: D. Reidel Publishing
Imprenta: Dordrecht, Holanda: D. Reidel Publishing, 1985
Área de numeração: Vol. 1, No. 1 (Mar. 1985)-

Coleção 2.0


Những quyển sách tương tự