Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings
International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia) H Ganzinger 1950- (Harald); David A McAllester; A Voronkov 1959- (Andreæi)
Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-Berlin Springer-Verlag New York c1999
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1705 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
68-02 lnai v.1775
68-02 lnai v.1535
browse_callnumber
display.do?gathStatTab=true&dscnt=0&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Basic&vid=USP&rfnGrp=1&tab=default_tab&dstmp=1717741884910&rfnGrpCounter=1&fctV=IFSC&callNumber=68-02+lnai+v.1705+e.1&fctN=facet_library&vl(freeText0)=Ukraine&ct=display&fn=search&indx=2&recIdxs=0&elementId=0