skip to main content
Show Results with:

Results 1 - 10 of 776  for Everything in this catalogue

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thesis
Add to My workspace

Strategy generation and evaluation for meta-game playing.

Barney Darryl Pell

University of Cambridge, 1993.

Online access

2 related resources
2
Material Type:
Thesis
Add to My workspace

Combining vision verification with a high level robot programming language.

B Yin

University of Edinburgh, 1984.

Online access

2 related resources
3
Material Type:
Thesis
Add to My workspace

Learning unification-based natural language grammars.

Miles Osborne

University of York, 1994.

Online access

2 related resources
4
Material Type:
Thesis
Add to My workspace

On coupling prolog to a database management system and an associated design method.

Yuguo Zhang

University of York, 1990.

Online access

2 related resources
5
Material Type:
Thesis
Add to My workspace

Analysis and transformation of proof procedures.

David Andre De Waal

University of Bristol, 1994.

Online access

6
Material Type:
Thesis
Add to My workspace

Frame based knowledge representation in an ADAM architecture.

Thomas Oliver Jackson

University of York, 1995.

Online access

2 related resources
7
Material Type:
Thesis
Add to My workspace

Planning multisentential English text using communicative acts.

Mark Thomas Maybury

University of Cambridge, 1991.

Online access

2 related resources
8
Material Type:
Book
Add to My workspace

Temporal reasoning in Socrates.

Edward P Tsang

University of Essex, Department of Computer Science, 1988.

Check library holdings

9
Material Type:
Book
Add to My workspace

Justification and assumption-based truth maintenance systems : When and how to use them for constraint satisfaction.

R.M Bodington

University of Reading Department of Computer Science, 1988.

Check library holdings

10
A categorical manifesto.
Material Type:
Book
Add to My workspace

A categorical manifesto.

J.A Goguen

University of Oxford Computer Laboratory Programming Research Group, 1989.

Check library holdings

Results 1 - 10 of 776  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (514)
  2. Online: Reading Room only  (250)
  3. Online  (250)
  4. Request to Reading Room  (127)
  5. Refine further open sub menu

Material type 

  1. Books  (529)
  2. Theses  (250)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1984  (7)
  2. 1984To1987  (50)
  3. 1988To1991  (242)
  4. 1992To1996  (358)
  5. After 1996  (112)
  6. Refine further open sub menu

Language 

  1. Unspecified  (682)
  2. English  (94)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait