Library
Log In
Log in with your UoM account
Problems logging in with your UoM account?
or
Guest login
Email address
Password
No UoM account? Click here to register a guest account.
Have you forgotten your guest credentials?
Library
FAQs
Communities & Collections
Browse Repository
Statistics
My Lists
search
Search
Log In
Log in with your UoM account
Problems logging in with your UoM account?
or
Guest login
Email address
Password
No UoM account? Click here to register a guest account.
Have you forgotten your guest credentials?
Home
Minerva Access
Engineering and Information Technology
Computing and Information Systems
Computing and Information Systems - Theses
Computing and Information Systems - Theses
Permanent URI for this collection
http://hdl.handle.net/11343/351
results
Back to results
Filters
Date
Start
End
Submit
Author
Show more
Search author name
Submit
Subject
Show more
Search subject
Submit
Type
Show more
Search type
Submit
Reset filters
Settings
Sort By
Title Ascending
Title Descending
Date Issued Ascending
Date Issued Descending
Date Available Ascending
Date Available Descending
Results per page
1
5
10
20
40
60
80
100
Statistics
Show statistics
Citations
Show citations
Search
Subject: lazy clause generation
×
Type: PhD thesis
×
Search Tools
Search Results
Loading search results...
Show statistical information