Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Frank Tompa | lit.salon

Author

Frank Tompa

1 works

No biography is available yet.

Start with

Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings2016
With Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura

Books

1 work

Featured (0)Featured (0)All (1)All (1)

Search booksSort books

Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings2016
With Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Frank Tompa.

The conversation is still open.

There is no public salon activity to show for Frank Tompa yet.