Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Classical and quantum satisfiabilityAnderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)Proceedings Sydney : EPTCS, 2012Sydney EPTCS 2012Acesso online. A biblioteca também possui exemplares impressos. |