dblp.uni-trier.dewww.uni-trier.de

Claudio T. Prates

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995
1 Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque: PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. TAPSOFT 1995: 797-798

Coauthor Index

1Neudson C. Albuquerque [1]
2Marcelo F. Frias [1]
3Armando Martin Haeberer [1]
4Andre J. Sampaio [1]
5Cristina D. Ururahy [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)