Reports

 

Supporting Knowledge-Base Evolution with Incremental Formalization ; CU-CS-658-93 Public Deposited

Analytics
Default
Citations
https://scholar.colorado.edu/concern/reports/zc77sq81x
Creator
Date Issued
  • 1993-07-01
Academic Affiliation
Last Modified
  • 2019-12-22
Resource Type
Rights Statement
Language

Relationships

Items

Thumbnail Title Date Uploaded Visibility Actions
Np193b042?file=thumbnail supportingKnowledgeBaseEvolutionWithIncrementalFormalizatio.pdf 2019-12-22 Public Download