Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CSL
2001
Springer

favoriteEmaildiscussreport

109views Automated Reasoning» more CSL 2001»

An Abstract Look at Realizability

13 years 9 months ago

An Abstract Look at Realizability

Download www.dcs.qmul.ac.uk

act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001

Edmund Robinson, Giuseppe Rosolini

Real-time Traffic

Automated Reasoning | CSL 2001 | Guiseppe Rosolini Department | Issn 1470-5559 March | Realizability Edmund Robinson |

claim paper

Related Content

» Realizability of Collaborationbased Service Specifications

» Customization Realization in Multitenant Web Applications Case Studies from the Library Se...

» Levels of abstraction in modeling and sampling the featurebased Bayesian optimization algo...

» Learning with Smart Multipurpose Interactive Learning Environment

» Melodic Similarity Looking for a Good Abstraction Level

» Look Ma No Hands Analyzing the Monotonic Feature Abstraction for Text Classification

» Making computers look the way we look exploiting visual attention for image understanding

» PeerReviewed Publishable Hypertexts A First Look

» Affective Text Variation and Animation for Dynamic Advertisement

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	CSL
Authors	Edmund Robinson, Giuseppe Rosolini

Comments (0)