ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING

Tahat, Amer

Back to results

Michigan Technological University

ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING

dc:creator Tahat, Amer

thesis:degree_name Doctor of Philosophy in Computational Science and Engineering (PhD)

Degree

thesis:*

Name thesis:degree_name: Doctor of Philosophy in Computational Science and Engineering (PhD)
Level thesis:degree_level: Open Access Dissertation

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Tahat, Amer
Contributors dc:contributor: Ali Ebnenasir

Subjects

dc:subject × 8

Identifiers

dc:identifier.*

Identifier: https://digitalcommons.mtu.edu/etdr/210
OAI identifier oai:identifier: oai:digitalcommons.mtu.edu:etdr-1206

Chain of custody

source

Harvested from: Michigan Technological University
Base URL: digitalcommons.mtu.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Tahat, Amer. ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING. Open Access Dissertation thesis, https://doi.org/10.37099/mtu.dc.etdr/210

ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from Michigan Technological University