Partner
Oklahoma Historical Society
19
UNT Libraries Special Collections
16
UNT Libraries Government Documents Department
3
Carl Albert Congressional Research and Studies Center
1
Harper Library
1
Hopkins County Genealogical Society
1
McMurry University Library
1
Private Collection of Rosa Walston Latimer
1
Sachse Public Library
1
Sterling Municipal Library
1
1 More
Collection
Oklahoma Publishing Company Photography Collection
15
KXAS-NBC 5 News Collection
13
Texas Digital Newspaper Program
7
Oklahoma Digital Newspaper Program
5
LGBT Collections
2
Office of Scientific & Technical Information Technical Reports
2
Abilene Library Consortium
1
Altus Times-Democrat
1
The Baytown Sun
1
Chickasha Newspaper Collection
1
14 More
Serial/Series Title
Country
States
Language
Results:
1 - 24 of
46
next
Altus Times (Altus, Okla.), Vol. 91, No. 284, Ed. 1 Tuesday, February 11, 1992
Daily newspaper from Altus, Oklahoma that includes local, state, and national news along with advertising.
Date:
February 11, 1992
Creator:
Lomenick, Rick
Object Type:
Newspaper
System:
The Gateway to Oklahoma History
Application of automated deduction to the search for single axioms for exponent groups
We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated reasoning.
Date:
February 11, 1992
Creator:
McCune, W. & Wos, L.
Object Type:
Article
System:
The UNT Digital Library
Application of automated deduction to the search for single axioms for exponent groups
We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated reasoning.
Date:
February 11, 1992
Creator:
McCune, W. & Wos, L.
Object Type:
Article
System:
The UNT Digital Library
The Baytown Sun (Baytown, Tex.), Vol. 70, No. 88, Ed. 1 Tuesday, February 11, 1992
Daily newspaper from Baytown, Texas that includes local, state, and national news along with advertising.
Date:
February 11, 1992
Creator:
Dobbs, Gary
Object Type:
Newspaper
System:
The Portal to Texas History
Chickasha Daily Express (Chickasha, Okla.), Vol. 100, No. 285, Ed. 1 Tuesday, February 11, 1992
Daily newspaper from Chickasha, Oklahoma that includes local, state, and national news along with advertising.
Date:
February 11, 1992
Creator:
Plummer, George
Object Type:
Newspaper
System:
The Gateway to Oklahoma History
The Harper Herald (Harper, Tex.), Vol. 67, No. 6, Ed. 1 Tuesday, February 11, 1992
Weekly newspaper from Harper, Texas that includes local, state, and national news along with advertising.
Date:
February 11, 1992
Creator:
Ernst, Peggy
Object Type:
Newspaper
System:
The Portal to Texas History
[Letter from Patricia A. Presley, February 11, 1992]
Letter from Patricia Presley discussing the AIDS legal resource budget of the Texas Human Rights Foundation.
Date:
February 11, 1992
Creator:
Presley, Patricia A.
Object Type:
Letter
System:
The Portal to Texas History
McMurry University War Whoop (Abilene, Tex.), Vol. 69, No. 8, Ed. 1, Tuesday, February 11, 1992
Weekly student newspaper from McMurry University in Abilene, Texas that includes local, state and campus news along with advertising.
Date:
February 11, 1992
Creator:
unknown
Object Type:
Newspaper
System:
The Portal to Texas History
[News Clip: Bus Shooting]
B-roll video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 10:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Decision 84]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Drive By Shooting]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 6:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Employers Insurance]
B-roll video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 6:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Garrett]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Garrett]
B-roll video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Japanese Car Sales]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 10:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Repeat Offenders]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 10:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Shootings]
B-roll video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Skull Found]
B-roll video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 6:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Tyson Foreman]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Tyson Foreman]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 5:00 p.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News Clip: Tyson Verdict]
Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date:
February 11, 1992, 6:30 a.m.
Creator:
KXAS-TV (Television station : Fort Worth, Tex.)
Object Type:
Video
System:
The UNT Digital Library
[News release: HUD Ends Hold Up on AIDS Housing Money]
A news release from the AIDS Action Council about the Department of Housing and Urban Development (HUD) releasing $50 million in AIDS housing money at the urging of AIDS activist organizations.
Date:
February 11, 1992
Creator:
AIDS Action Council
Object Type:
Text
System:
The UNT Digital Library
The North Texas Daily (Denton, Tex.), Vol. 74, No. 71, Ed. 1 Tuesday, February 11, 1992
Student newspaper from the University of North Texas in Denton, Texas that includes local, state, and campus news along with advertising. Formerly The Campus Chat.
Date:
February 11, 1992
Creator:
unknown
Object Type:
Newspaper
System:
The Portal to Texas History
The Oklahoma Daily (Norman, Okla.), Vol. 76, No. 110, Ed. 1 Tuesday, February 11, 1992
Student newspaper of the University of Oklahoma in Norman, Oklahoma that includes national, local, and campus news along with advertising.
Date:
February 11, 1992
Creator:
Rutherford, Dan
Object Type:
Newspaper
System:
The Gateway to Oklahoma History