Sciweavers

TIME
2003
IEEE

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

14 years 4 months ago
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where TIME
Authors Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Comments (0)