Publicações

AuthID
P-00G-ZQ2

Author(s)

Tipo de Documento

Book Chapter

Year published

2005

Publicado

in Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics, ISSN: 0302-9743

Páginas: 82-97

Indexing

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/11541868_6

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis