Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository ***TEST***

Explore open access research and scholarly works from DCU

Advanced Search

Browse by Author

Up a level
[Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 2007
Number of items: 1.

2007

Kabir, Md. Humayun (2007) Automatic inductive theorem proving and program construction methods using program transformation. PhD thesis, Dublin City University.

This list was generated on Wed Jun 10 16:47:36 2026 UTC.