Revision specifications by means of programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021968 ◽

2005 ◽

pp. 122-136 ◽

Cited By ~ 15

Author(s):

Victor W. Marek ◽

Mirosław Truszczyński

Download Full-text