Publicações

AuthID
P-001-86J

Author(s)

Tipo de Documento

Editorial Material

Year published

1998

Publicado

in JOURNAL OF AUTOMATED REASONING, ISSN: 0168-7433

Volume: 20, Número: 1-2, Páginas: 1-3 (3)

Indexing

Wos^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1023/a:1005925305967

DBLP: journals/jar/AlferesP98

Wos: WOS:000072343300001

Source Identifiers

ISSN: 0168-7433

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis