%0 Thesis %1 phd/us/Shin85 %A Shin, Dong-Guk %D 1985 %K dblp %T An Extension of a First-Order Language and Its Applications (Many-Sorted Logic, Distributed Database Design, Resolution, Automatic Theorem Proving, Horizontal Partitioning).

@phdthesis{phd/us/Shin85, added-at = {2022-05-12T00:00:00.000+0200}, author = {Shin, Dong-Guk}, biburl = {https://www.bibsonomy.org/bibtex/23f32d53abe4d13005affad1498f49849/dblp}, ee = {http://hdl.handle.net/2027.42/160877}, interhash = {fa1465285e446024609deb08c0b1b964}, intrahash = {3f32d53abe4d13005affad1498f49849}, keywords = {dblp}, school = {University of Michigan, USA}, timestamp = {2024-04-09T08:02:51.000+0200}, title = {An Extension of a First-Order Language and Its Applications (Many-Sorted Logic, Distributed Database Design, Resolution, Automatic Theorem Proving, Horizontal Partitioning).}, year = 1985 }