The use of domain information and higher order logic for model management

Publication Data

• Title The use of domain information and higher order logic for model management
• Author Michael Uschold
• Contributor
• Publisher Artificial Intelligence Applications Institute, University of Edinburgh
• Publication date 1992
• Publication location Edinburgh
• Language English

Topics

• Model theory
• Logic programming

The use of domain information and higher order logic for model management by Michael Uschold. Published by Artificial Intelligence Applications Institute, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.