Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Computational Aspects of an Order-Sorted Logic with Term Declarations
Home
Publications
Computational Aspects of an Order-Sorted Logic with Term Declarations
Computational Aspects of an Order-Sorted Logic with Term Declarations
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1989
book
Published by
Springer Nature
https://doi.org/10.1007/bfb0024065
Abstract
No abstract available
Keywords
AUTOMATISCHES SCHLIESSEN
EXTENSION
LOGIK MIT GLEICHHEIT
LOGIK MIT EINGEBAUTEN SORTEN
RESOLUTION
UNIFIKATION
WISSENSREPRÄSENTATION
LOGIC
Cited by 71 articles