NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 102
  • 34
  • 8
  • 6
  • 3
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 210
  • 210
  • 64
  • 40
  • 38
  • 34
  • 30
  • 29
  • 28
  • 25
  • 24
  • 24
  • 21
  • 20
  • 19
  • 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.

Search results

Showing 1 to 10 of 210 (0.038 seconds)

Spelling suggestions: "subject:"[een] LOGIC PROGRAMMING"" "subject:"[enn] LOGIC PROGRAMMING""

1

The Clausal Theory of Types

Wolfram, David Anthony January 1990 (has links)
No description available.
005
Logic programming
2

A logic-based concurrent object-oriented programming language

Melendez, Rafael Ramirez January 1996 (has links)
No description available.
005
Logic programming
3

Effective meta-programming in declarative languages

Bowers, Antony Francis January 1998 (has links)
No description available.
005
Logic programming
4

Over-constrained systems in CLP and CSP

Jampel, Michael Benjamin January 1996 (has links)
No description available.
005
Logic programming
5

And-parallel implementation of Prolog on distributed memory machines

Verden, Andrew Roy January 1991 (has links)
No description available.
005
Logic programming
6

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

Jackson, E. P. January 1987 (has links)
No description available.
519.5
Logic programming
7

Parallel execution of Parlog

Cheese, Andrew B. January 1990 (has links)
No description available.
005
Logic programming
8

IKBS for real-time monitoring and control applications

Pokkunuri, Bhanu Prasad January 1990 (has links)
No description available.
005
Logic programming
9

Constraint-based reasoning in artificial intelligence

Li, Bai January 1994 (has links)
No description available.
003.5
Logic programming
10

Gazing : a technique for controlling the use of rewrite rules

Plummer, David John January 1988 (has links)
No description available.
005
Computer/logic programming

Page generated in 0.0434 seconds