skip to main content
Show Results with:

Results 1 - 10 of 128  for Everything in this catalogue

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

Neurofuzzy adaptive modelling and control.

Martin Brown

University of Southampton, 1993.

Online access

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

The Neural Field Theory approach to cortical self-organisation.

Rasmus Strange Petersen

University of London, 1998.

Online access

3
Material Type:
Book
Add to My workspace

Minimal polynomial logic : properties and extensions.

Riccardo Poli

University of Birmingham, Cognitive Science Research Centre, 1996.

Check library holdings

4
Material Type:
Book
Add to My workspace

An integration of mechanised reasoning and computer algebra that respects explicit proofs.

Manfred Kerber

University of Birmingham, School of Computer Science, 1996.

Check library holdings

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

On the relations between search and evolutionary algorithms.

Riccardo Poli

University of Birmingham, School of Computer Science, 1996.

Check library holdings

6
Material Type:
Book
Add to My workspace

What is the difference between real creativity and mere novelty?.

Alan Bundy

University of Edinburgh, Department of Artificial Intelligence, 1993.

Check library holdings

7
Material Type:
Book
Add to My workspace

A geometric reasoning system for moving an object while maintaining contact with others.

A Koutsou

University of Edinburgh Department of Artificial Intelligence, 1985.

Check library holdings

8
Material Type:
Book
Add to My workspace

Proof plans for the correction of false conjectures.

Raúl Monroy

University of Edinburgh, Department of Artificial Intelligence, 1994.

Check library holdings

9
Material Type:
Book
Add to My workspace

Applying genetic algorithms to constraint satisfaction optimization problems.

Edward P K Tsang

University of Essex, Department of Computer Science, 1989.

Check library holdings

10
Material Type:
Book
Add to My workspace

Verification of diagrammatic proofs.

M Jamnik

University of Edinburgh, Department of Artificial Intelligence, 1998.

Check library holdings

Results 1 - 10 of 128  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  (96)
  2. Online: Reading Room only  (30)
  3. Online  (30)
  4. Request to Reading Room  (19)
  5. Refine further open sub menu

Material type 

  1. Books  (98)
  2. Theses  (30)
  3. Refine further open sub menu

Creation date 

From To
  1. Before1988  (5)
  2. 1988To1990  (22)
  3. 1991To1993  (37)
  4. 1994To1997  (52)
  5. After 1997  (10)
  6. Refine further open sub menu

Language 

  1. Unspecified  (121)
  2. English  (7)
  3. Refine further open sub menu

Searching Remote Databases, Please Wait