Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

James Alves-Foss | lit.salon

Author

James Alves-Foss

3 works

No biography is available yet.

Start with

Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings1995
With Phillip J. Windley, Gerhard Goos, Juris Hartmanis
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings2014
With E. Thomas Schubert, Phillip J. Windley
Cyber Security Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised Selected Papers2016
With Kristin Haltinner, Dilshani Sarathchandra, Kevin Chang, Daniel Conte de Leon, Jia Song

Books

3 works

Featured (0)Featured (0)All (3)All (3)

Search booksSort books

No featured works yet, so all works are shown.

Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings1995
With Phillip J. Windley, Gerhard Goos, Juris Hartmanis
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings2014
With E. Thomas Schubert, Phillip J. Windley
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Cyber Security Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8, 2015, Revised Selected Papers2016
With Kristin Haltinner, Dilshani Sarathchandra, Kevin Chang, Daniel Conte de Leon, Jia Song
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 James Alves-Foss.

The conversation is still open.

There is no public salon activity to show for James Alves-Foss yet.