Classical and quantum satisfiability
Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)
Proceedings Sydney : EPTCS, 2012Sydney EPTCS 2012
Acesso online. A biblioteca também possui exemplares impressos.
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
prod-2285638
prod-2280166
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&mode=Advanced&vid=USP&tabRealType=browseshelf&rfnGrp=1&tab=default_tab&dstmp=1719649546608&rfnGrpCounter=1&fctV=%5B2010+TO+null%5D&srt=author&callNumber=prod-2282264&fctN=facet_creationdate&vl(freeText0)=Finger%2C%20M&ct=display&fn=search&indx=10&recIdxs=0&elementId=0