Autor:	Koutavas, Vasileios.
Jazyk:	angličtina
Rok vydání:	2008
Předmět:	Computer programs Computer programs Logic Symbolic and mathematical. High-level programming languages.
Zdroj:	View dissertation online.
Druh dokumentu:	Electronic dissertations.
Popis:	Thesis (Ph. D.)--Northeastern University, 2008. Title from title page (viewed March 24, 2009). College of Computer and Information Science. Includes bibliographical references (p. 163-171).
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/2047/d10016545 Zobrazit plný text záznamu