Knowledge-based program synthesis for a geometric constraint satisfaction system Conference

Bhansali, S, Hoar, T. (1995). Knowledge-based program synthesis for a geometric constraint satisfaction system . 11-18. 10.1109/KBSE.1995.490114

cited authors

  • Bhansali, S; Hoar, T

authors

date/time interval

  • November 12, 1995 -

publication date

  • January 1, 1995

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology

Location

  • MA, BOSTON

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

Conference

  • 10th Knowledge-Based Software Engineering Conference

publisher

  • I E E E, COMPUTER SOC PRESS

start page

  • 11

end page

  • 18