Sign in
  Edit search
Seventeen Provers of the World, The, vol. 3600
Seventeen Provers of the World, The, vol. 3600
PVS
PVS
eBook
PVS
Authors: B.P.F. Jacobs
Page: 24-27
Published: 2006
ISBN: 3540307044
  Full text availability for this item
View Full Text Source:Seventeen Provers of the World, The, vol. 3600,Seventeen Provers of the World, The, vol. 3600,Springer Nature - Springer Lecture Notes in Computer Science eBooks Opens in new Window
Collection:  Springer Nature - Springer Lecture Notes in Computer Science eBooks
Coverage:
  • 2006
  Print copies at your library
Check availability in RUQuest
  Request a copy of this item
Cite this item