<--- Back to Details
First PageDocument Content
Knowledge representation / Collective intelligence / UKOLN / University of Bath / Web directories / Folksonomy / Intute / Tag
Date: 2008-01-28 05:11:13
Knowledge representation
Collective intelligence
UKOLN
University of Bath
Web directories
Folksonomy
Intute
Tag

Microsoft PowerPoint - JapAtUkoln23Jan

Add to Reading List

Source URL: www.ukoln.ac.uk

Download Document from Source Website

File Size: 30,15 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Logic / Logic in computer science / Mathematics / Electronic design automation / Formal methods / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Uninterpreted function / Satisfiability / Solver

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

DocID: 1xUDS - View Document

Prof. Robert Scheichl (University of Bath) Multilevel Quadrature in Infinite Dimensions and Applications in Uncertainty Quantification Abstract:

DocID: 1vg9u - View Document

The University of Bath Institutional Repository Maximising the impact of your research www.bath.ac.uk/opus Repository Policies These are based on the OpenDOAR Policies tool http://www.opendoar.org/tools/en/policies.php

DocID: 1v0LD - View Document

Beyond the Design Stance: The Intention of Agent-Based Engineering Bruce Edmonds and Joanna J. Bryson CPM and MMU; University of Bath United Kingdom October 17, 2003

DocID: 1uP35 - View Document

The University of Bath Institutional Repository Maximising the impact of your research Notice & Takedown Policy The University of Bath Institutional Repository (henceforth referred to as “the repository”) is an open

DocID: 1uB9O - View Document