Publication
Detail
Publication date: 01/01/1998Classical Negation in NonMonotonic Reasoning and Logic Programming
| Journal | Journal of Automated Reasoning |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 20 |
| Number | 1,2 |
| Journal | Journal of Automated Reasoning |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 20 |
| Number | 1,2 |