海量图书期刊资源,随时随地畅享阅读乐趣
Hierarchical constraint logic programmingMolly Wilson; Alan Borning · 1993
Constraint hierarchiesAlan Borning; Bjorn Freeman-Benson; Molly Wilson · 1992
Fourier Elimination for Compiling Constraint HierarchiesWarwick Harvey; Peter J. Stuckey; Alan Borning · 2002
A prototype electronic encyclopediaWeyer, Stephen A.; Borning, Alan H. · ACM Transactions on Information Systems · 1985
Computer system reliability and nuclear warBorning, Alan · Communications of the ACM · 1987
Constraint hierarchiesBorning, Alan; Duisberg, Robert; Freeman-Benson, Bjorn; Kramer, Axel; Woolf, Michael · ACM SIGPLAN Notices · 1987
Implementing constraint imperative programming languagesLopez, Gus; Freeman-Benson, Bjorn; Borning, Alan · ACM SIGPLAN Notices · 1994