• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 134
  • 34
  • 8
  • 6
  • 4
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 246
  • 246
  • 82
  • 50
  • 40
  • 37
  • 36
  • 33
  • 29
  • 28
  • 27
  • 26
  • 23
  • 23
  • 22
  • 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.
11

Effective meta-programming in declarative languages

Bowers, Antony Francis January 1998 (has links)
No description available.
12

Over-constrained systems in CLP and CSP

Jampel, Michael Benjamin January 1996 (has links)
No description available.
13

And-parallel implementation of Prolog on distributed memory machines

Verden, Andrew Roy January 1991 (has links)
No description available.
14

A methodology and a tool for the formalisation and representation of 'common sense' (naive physical) knowledge

Cunningham, J. January 1985 (has links)
No description available.
15

A representation language based on a game-theoretic interpretation of logic

Jackson, E. P. January 1987 (has links)
No description available.
16

Constraint-based reasoning in artificial intelligence

Li, Bai January 1994 (has links)
No description available.
17

Parallel execution of Parlog

Cheese, Andrew B. January 1990 (has links)
No description available.
18

IKBS for real-time monitoring and control applications

Pokkunuri, Bhanu Prasad January 1990 (has links)
No description available.
19

Computing stable models of logic programs

Singhi, Soumya. January 2003 (has links) (PDF)
Thesis (M.S.)--University of Kentucky, 2003. / Title from document title page (viewed June 21, 2004). Document formatted into pages; contains viii, 55 p. : ill. Includes abstract and vita. Includes bibliographical references (p. 52-54).
20

Towards a semantics bridge between structured specifications and logic specifications /

Leung, Ping-hung, Karl Richard. January 1992 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1992.

Page generated in 0.0955 seconds