Siani Baker
According to our database1,
Siani Baker
authored at least 3 papers
between 1992 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
1992
1993
1994
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992