Old Web
English
Sign In
Acemap
>
Paper
>
On the formal characterization of the FORTE_MBC theory revision operators
On the formal characterization of the FORTE_MBC theory revision operators
2017
Ana Luísa Duboc
Aline Paes
Gerson Zaverucha
Keywords:
Discrete mathematics
Mathematics
Operator (computer programming)
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
20
References
1
Citations
NaN
KQI
[]