NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2516
  • 1006
  • 245
  • 206
  • 205
  • 185
  • 73
  • 52
  • 40
  • 40
  • 40
  • 40
  • 40
  • 39
  • 28
  • Tagged with
  • 5557
  • 1506
  • 718
  • 659
  • 497
  • 482
  • 420
  • 386
  • 369
  • 365
  • 365
  • 355
  • 355
  • 344
  • 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 5557 (0.03 seconds)
151

Integrating logic and objects for knowledge representation and reasoning

Hatzilygeroudis, Ioannis January 1992 (has links)
No description available.
621.3192
Computational logic
152

Parallel execution of Parlog

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

Implementing and extending Concurrent METATEM

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

IKBS for real-time monitoring and control applications

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

Cognitive processes in logic programming

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

Double barrier resonant tunnelling diodes and applications

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

Constraint-based reasoning in artificial intelligence

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

Some problems in logic

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

Detecting bridging faults in CMOS circuits

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

Decomposition and simplification with EXOR-based representations

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

Page generated in 0.0337 seconds