Projects per year
Original language | English |
---|---|
Title of host publication | Logics in Artificial Intelligence; Proceedings |
Place of Publication | Berlin |
Publisher | Springer Verlag |
Pages | 18-33 |
Number of pages | 16 |
ISBN (Print) | 3540536868 |
Publication status | Published - 1996 |
Projects
- 1 Finished
-
Implementation of Resolution Refinements Based on Non-liftable Orders.
de Nivelle, J. M. G. G.
1/05/92 → 30/04/96
Project: Research project