Douglas R. Smith

Identifiers

  • Open LibraryOL7183656A

Top Subjects

  • Automation (2)
  • Algorithms (2)
  • Computer programming (2)
  • Combinatorial optimization (1)
  • Mathematical optimization (1)
  • Dynamic programming (1)
  • Automatic theorem proving (1)

Books by Douglas R. Smith

Total count: 6