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 121 to 130 of 5557 (0.045 seconds)
121

The Clausal Theory of Types

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

Infinity, knowability and understanding

Percival, P. R. January 1986 (has links)
No description available.
100
Logic/Classical reasoning
123

Domain theory in realizability toposes

Phoa, Wesley January 1990 (has links)
No description available.
510
Computational mathematics; Logic
124

Dynamic learning behaviour of a rule-based self-organising controller

Lembessis, Evangelos January 1984 (has links)
No description available.
629.8
Fuzzy logic
125

A logic-based concurrent object-oriented programming language

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

Effective meta-programming in declarative languages

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

Analysis and specialisation of imperative programs : an approach using CLP

Peralta Estrada, Julio C. January 2000 (has links)
No description available.
005
Constraint logic programs
128

Logic synthesis for programmable devices

Pearce, Maureen January 1993 (has links)
No description available.
620.0042029
Programmable array logic
129

Humanist computing for knowledge discovery from ordered datasets

Rossiter, Jonathan Michael January 1999 (has links)
No description available.
005
Fuzzy logic
130

A critique of V. H. Dudman's account of if-sentences

Cogan, Ross Nicholas Rupert January 1998 (has links)
No description available.
100
Conditionals; Philosophical logic

Page generated in 0.0572 seconds