Journal of Automated Reasoning

Código CCN: 085503-0


ISSN (Online): 0168-7433
Pais: Não informado
Editor: D. Reidel Publishing
Imprenta: Dordrecht, Holanda: D. Reidel Publishing, 1985
Área de numeração: Vol. 1, No. 1 (Mar. 1985)-

Coleção 2.0


Ítems similars