16 Matching Results

Search Results

Results: 1 - 16
open access

Application of automated deduction to the search for single axioms for exponent groups

Description: 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 … more
Date: February 11, 1992
Creator: McCune, W. & Wos, L.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Application of automated deduction to the search for single axioms for exponent groups

Description: 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 … more
Date: February 11, 1992
Creator: McCune, W. & Wos, L.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
captions transcript

[News Clip: Tyson Foreman]

Description: 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.
Duration: 1 minute 37 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Garrett]

Description: 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.
Duration: 53 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Employers Insurance]

Description: 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.
Duration: 42 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Japanese Car Sales]

Description: 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.
Duration: 1 minute 49 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Tyson Foreman]

Description: 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.
Duration: 1 minute 35 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Garrett]

Description: 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.
Duration: 55 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Shootings]

Description: 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.
Duration: 1 minute
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Drive By Shooting]

Description: 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.
Duration: 1 minute 36 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Repeat Offenders]

Description: 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.
Duration: 2 minutes 39 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Tyson Verdict]

Description: 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.
Duration: 1 minute 29 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Skull Found]

Description: 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.
Duration: 48 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Bus Shooting]

Description: 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.
Duration: 42 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
captions transcript

[News Clip: Decision 84]

Description: 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.
Duration: 1 minute 42 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
Back to Top of Screen