Formal Techniques in Artificial Intelligence: A SourceBook

Authors:
Ranan B. Banerji
Affiliations:
-
Venue:
Formal Techniques in Artificial Intelligence: A SourceBook
Year:
1990

Citing 0
Cited 2

Object-oriented analysis for telecommunications services

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Shallow confluence of conditional term rewriting systems

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract