AITP: Conference on Artificial Intelligence and Theorem Proving
Language: English
KMWorld is the only magazine, website and conference dedicated to news, trends and case studies in knowledge management, content management and document management.
NACo strengthens America's counties, serving nearly 40, 000 county elected officials and 3.6 million county employees.
AAAI advances the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
TYPO3 is a free enterprise-class CMS based on PHP. It combines open source code with reliability and true scalability. This is the official project website.
Breaking science news and articles on global warming, extrasolar planets, stem cells, bird flu, autism, nanotechnology, dinosaurs, evolution -- the latest discoveries in astronomy, anthropology, biology, chemistry, climate & environment, computers, engineering, health & medicine, math, physics, psychology, technology, and more -- from the world's leading universities and research organizations.
Maybe not just math
Conspiracy Theory, Strange Stories and Truth
GameDev.net is your resource for game development with forums, tutorials, blogs, projects, portfolios, news, and more.
The official National Hockey League website including news, rosters, stats, schedules, teams, and video.
The University of Colorado Boulder is a bold, innovative community of scholars and learners who accelerate human potential to solve the humanitarian, social and technological challenges of our time. Come to CU Boulder and discover what you can be.
GDC is the game industry's premier professional event, championing game developers and the advancement of their craft.
The World Wide Web Consortium (W3C) develops standards and guidelines to help everyone build a web based on the principles of accessibility, internationalization, privacy and security.
It is what it is...
GameSpy is your source for PC gaming intelligence, with the latest PC game news, reviews, previews, release dates and files - demos, mods, patches and trailers
Plenty of online activities and lessons that explore the world of Math! emathematics.net provides more than 2000 unlimited practice and is an interesting resource for students to keep their mathematics skills sharped.
An encyclopedic collection of math resources for all grades. Arithmetic games, problems, puzzles, and articles
Do not spend lots of money on courses and software! My website is designed to give you a solid understanding of basic mathematics, algebra, and geometry.
A community blog devoted to refining the art of rationality
Book your ski holidays directly from the experts. Cheap offers for your winter holiday ✔ incl. lift pass in up to 2, 000 accommodations & 500 resorts ✔.
BEST-PRICE-SKI-RENTAL search