
[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 838 || Revision specifications by means of programs
MacNish, Craig, Pearce, David, Pereira, Luís MonizVolume:
10.1007/BF
Année:
1994
Langue:
english
DOI:
10.1007/bfb0021968
Fichier:
PDF, 953 KB
english, 1994