HOL User's Group Workshop 1993 : : Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger, eds.
Holá, Barbora, : Perpetrators of international crimes : theories, methods, and evidence / Alette Smeulers, Maartje Weerdesteijn, and Barbora Holá.
Holabird, Samuel B. : Letter of the Secretary of War, communicating in compliance with the resolution of the Senate of June 13, 1870, a copy of the report of Lieutenant Colonel Samuel B. Holabird, of a reconnaissance made by him in the Department of Dakota, in 1869. December 21, 1870. -- Ordered to lie on the table and be printed. [electronic resource]
Holahan, Francis, : Public regulation of title insurance companies and abstracters / Ernest F. Roberts, Jr., editor-in-chief ; Francis E. Holahan, William H. Painter, Donald A. Giannella ; research associate, John J. Cleary.
Holahan, James F. : The Wiley reader : designs for writing / [compiled by] Caroline D. Eckhardt, James F. Holahan, David H. Stewart ; with the assistance of Paul Sorrentino.
Holahan, John Michael. : The effects of four conditions of "same" and "different" instruction on the developmental music apptitudes of kindergarten children receiving tonal pattern training ... / by John Michael Holahan.