Search alternatives:
plato » plate

1
by Anni, Pavel
Published 2024
Manning Publications

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... -- PLATO: A tool to assist programming as term rewriting and theorem proving -- LOFT: A tool for assisting...

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming Supporting...