Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

"Towards Refinement of Definite Logic Programs."

Henryk Jan Komorowski, Silvia Trcek (1994)

Details and statistics

DOI: 10.1007/3-540-58495-1_32

access: closed

type: Conference or Workshop Paper

metadata version: 2024-02-05