Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Shamin A. Naqvi
Institution:
AT&T (United States)
Observed institution:
AT&T (United States)
OpenAlex ID:
A5086969982
Compiling Constraint-Checking Programs from First-Order Formulas
1984
·
Lawrence J. Henschen
, William W. McCune
, et al.
·
Springer eBooks
·
65
Negation in Knowledge Base Management Systems
1986
·
Shamin A. Naqvi
·
Topics in information systems
·
4
Show more works
View as search
Works count:
2
Citation count:
69
H-index:
2
I10-index:
1
Year
Topic
Type