Distance Induction in First Order Logic (1997)
Cached
Download Links
- [www.lri.fr]
- [ni.cs.tu-berlin.de]
- [www.cs.kuleuven.ac.be]
- DBLP
Other Repositories/Bibliography
by
Michèle Sebag
| Venue: | PROCEEDINGS OF THE 7TH INTERNATIONAL WORKSHOP ON INDUCTIVE LOGIC PROGRAMMING, ILP97, VOLUME 1297 OF LNAI |
| Citations: | 32 - 0 self |







