Index Catalog // Digital Collections

Start Over

Filtering by: Keyword logic programming

1 - 5 of 5

List Gallery Masonry Slideshow

A logic-based grammar formalism incorporating feature-structures and inheritance

Pg15bd90t?file=thumbnail

Creator:	Harry H. III Porter
Date:	1988
Document Type:	dissertation

Constructive negation in logic programs

5d86p024p?file=thumbnail

Creator:	Clifford Walinsky
Date:	1987
Document Type:	dissertation

The design and implementation of a parallel prolog opcode-interpreter on a multiprocessor architecture

Gq67jr188?file=thumbnail

Creator:	Carolyn Ann Hakansson
Date:	1987
Document Type:	thesis

Task Interaction and Control System (TICS)

Pr76f340k?file=thumbnail

Creator:	Mark Grossman
Date:	1987
Document Type:	thesis

The role of type equality in meta-programming

6395w709f?file=thumbnail

Creator:	Emir Pasalic
Date:	2004
Document Type:	dissertation