NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2530
  • 1006
  • 246
  • 206
  • 205
  • 186
  • 76
  • 52
  • 40
  • 40
  • 40
  • 40
  • 40
  • 39
  • 28
  • Tagged with
  • 5578
  • 1507
  • 719
  • 659
  • 497
  • 484
  • 422
  • 388
  • 377
  • 366
  • 365
  • 357
  • 355
  • 353
  • 341
  • 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 151 to 160 of 5578 (0.044 seconds)
151

Parallel execution of Parlog

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

Implementing and extending Concurrent METATEM

Kellett, Adam January 2001 (has links)
No description available.
005
Executable temporal logic
153

IKBS for real-time monitoring and control applications

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

Cognitive processes in logic programming

Ormerod, T. C. January 1987 (has links)
No description available.
150
Psychology and computer logic
155

Double barrier resonant tunnelling diodes and applications

Sellai, Azzouz January 1991 (has links)
No description available.
621.3192
Logic circuits
156

Constraint-based reasoning in artificial intelligence

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

Some problems in logic

Quinsey, J. E. January 1980 (has links)
No description available.
510
Mathematical logic
158

Detecting bridging faults in CMOS circuits

Evans, Richard J. January 1991 (has links)
No description available.
621.3192
Logic circuits
159

Decomposition and simplification with EXOR-based representations

Metzgen, Paul January 1999 (has links)
No description available.
621.39
Logic circuits
160

Multiplicative linear type theories

Koh, Thong Wei January 1998 (has links)
No description available.
510
Linear logic

Page generated in 0.0482 seconds