Browse and Search the Library
: Math Topics
: Computer Science
Library Home ||
Full Table of Contents ||
Suggest a Link ||
- 252 items
found, showing 251 to 252
- The Working Group on Automated Timetabling (WATT)
A professional association dedicated to the research of automated timetabling issues and methods. List of members, history of the organization, upcoming events, recent digests, membership information, and a bibliography of timetabling books and articles.
- Yarrow Home Page - Jan Zwanenburg
A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is
The Math Library ||
Quick Reference ||
© 1994-2013 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.