Proofs in Context (1994)
Cached
Download Links
- [nmis.isti.cnr.it]
- [www.di.unipi.it]
- [ftp.di.unipi.it]
- [ftp.di.unipi.it]
- [faure.iei.pi.cnr.it]
- [ftp.di.unipi.it]
- [www.idt.ntnu.no]
- DBLP
Other Repositories/Bibliography
by
G. Attardi
,
S. Di Marco
,
D. Salvi
,
F. Sebastiani
,
Istituto Di Elaborazione
| Venue: | In Principles of Knowledge Representation and Reasoning |
| Citations: | 26 - 4 self |







