DocumentCode :
274998
Title :
The use of abstraction in automatic inference
Author :
Giunchiglia, F. ; Walsh, T.
fYear :
1990
fDate :
19-22 Mar 1990
Firstpage :
365
Lastpage :
370
Abstract :
Informally, abstraction can be described as the process of mapping a representation of a problem onto a new representation. Unfortunately, work on abstraction has on the whole remained at this informal level. The paper describes the beginnings of a theory of abstraction
fLanguage :
English
Publisher :
iet
Conference_Titel :
UK IT 1990 Conference
Conference_Location :
Southampton
Type :
conf
Filename :
114314
Link To Document :
بازگشت