Publicações

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

AuthID
P-00G-3CA

Author(s)

Kinyon, M

Veroff, R

Vojtechovsky, P

Editor(es)

Bonacina,M;Stickel,ME

Tipo de Documento

Article

Year published

2013

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7788, Páginas: 151-164

Indexing

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-642-36675-8-8

SCOPUS: 2-s2.0-84875943383

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

Links Úteis

Ajuda