A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Goldsmith, Judy
View the document Goldsmith, Judy (Judy Goldsmith, Robert H. Sloan and György Turán) -- Theory Revision with Queries: DNF Formulas - 2002
View the document Goldsmith, Judy (Judy Goldsmith and Robert H. Sloan) -- More theory revision with queries (extended abstract) - 2000
View the document Goldsmith, Judy (Judy Goldsmith, Robert H. Sloan, B. Szörényi and G. Turán) -- Improved Algorithms for Theory Revision with Queries - 2000