Towards polynomial approximations of full propositional logic
Marcelo Finger
São Paulo IME-USP 2004
Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2004 v.04 e.1 ) e outros locais(Acessar)
- 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
ime-rt-e qa273.3.rt i59 1988 v.01 e.1
ime-rt-c qa700.rt i59c 2001 v.08 e.1
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&vid=USP&tabRealType=browseshelf&mode=Basic&tab=default_tab&callNumber=ime-rt-c+qa700.rt+i59c+2004+v.04+e.1&vl(freeText0)=Finger%2C%20M&dstmp=1722134688229&ct=display&fn=search&indx=4&recIdxs=0&elementId=0