information about Many-sorted logic field
Search everything
Home
Research Intelligence
Pro
Expert Finder
Pro
Scinapse Trends
Paper Search
Collections
Favorites
History
Notes
Keyword Alerts
Submit Feedback
Settings
Many-sorted logic
http://en.wikipedia.org/wiki/Many-sorted_logic
Field Hierarchy
Parent
First-order logic
1,940
papers
Current
Many-sorted logic
papers
Child
Trends
Notes
History
View all history