G. Ravi Prakash

According to our database1, G. Ravi Prakash authored at least 2 papers in 1991.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

1991
0
1
2
3
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
Verification of OPS5-Based AI Applications.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

A Methodology for Systematic Verification of OPS5-Based AI Applications.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991


  Loading...