2 search results - page 1 / 1 » ki 1992 |
DAC
1992
ACM
13 years 9 months ago
1992
ACM
KI
1992
Springer
13 years 9 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...