• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • No language data
  • Tagged with
  • 894
  • 894
  • 894
  • 894
  • 886
  • 4
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
111

A toolkit for static analysis of constraint logic programs

Saglam, Hueseyin January 1998 (has links)
No description available.
112

Logic program development based on typed moded schemata and data types

Marakakis, Emmanouil I. January 1997 (has links)
No description available.
113

Formal specification and verification of OSI protocols

Zhang, Bairong January 1996 (has links)
No description available.
114

A self-applicable partial evaluator for the logic programming language Goedel

Gurr, Corin Alistair January 1994 (has links)
No description available.
115

The design and implementation of distributed information systems based on heterogeneous data bases

Barfoursh, Ahmad Abdollahzadeh January 1990 (has links)
No description available.
116

The role of expert systems in conservation management

Jeffcote, Mark Thomas January 1991 (has links)
No description available.
117

Software tools for dialogue design

Guest, S. P. January 1986 (has links)
No description available.
118

Domain restrictive user interfaces using database systems

Patel, Nitin January 1995 (has links)
No description available.
119

The investigation and development of multimedia engineering operations and management technical documentation systems

Lynn, John Stuart January 2003 (has links)
No description available.
120

The use of logic in the provision of knowledge base systems

Foley, Richard W. January 1994 (has links)
No description available.

Page generated in 0.1023 seconds