Login | Register

Reengineering unification and t-entailment for Mantra in C++

Title:

Reengineering unification and t-entailment for Mantra in C++

Kharma, Tania (1996) Reengineering unification and t-entailment for Mantra in C++. Masters thesis, Concordia University.

[thumbnail of MM18409.pdf]
Preview
Text (application/pdf)
MM18409.pdf
5MB

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Kharma, Tania
Pagination:ix, 123 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1996
Thesis Supervisor(s):Butler, Gregory
Identification Number:QA 76.63 K48 1996
ID Code:6235
Deposited By: Concordia University Library
Deposited On:03 Sep 2009 13:50
Last Modified:13 Jul 2020 20:02
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top