Racer
From Scholarpedia
Jump to:
navigation
,
search
Volker Haarslev
haarslev@cse.concordia.ca
Concordia University, Montreal, Canada
Created the Racer reasoner
Category
:
Logic
Personal tools
Log in / create account
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
Actions
Search
Navigation
Main page
Propose a new article
About
Random article
Help
Focal areas
Astrophysics
Computational neuroscience
Computational intelligence
Dynamical systems
Physics
Touch
Activity
Recently proposed articles
Recent changes
All articles
List all Curators
List all users
Scholarpedia Journal
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link
