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
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
Actions
Search
Navigation
Main page
About
Propose a new article
Instructions for Authors
Random article
FAQs
Help
Focal areas
Astrophysics
Celestial mechanics
Computational neuroscience
Computational intelligence
Dynamical systems
Physics
Touch
More topics
Activity
Recently published articles
Recently sponsored articles
Recent changes
All articles
List all Curators
List all users
Scholarpedia Journal
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
