Actimania web directory of carefully selected sites

Arts

Business

Computers

Games

Health

Home

Teens

News

Recreation

Reference

Regional

Science

Shopping

Looking for a directory of carefully selected sites in World, Japanese, 科学, 自然科学, 数学, 数理論理学・数学基礎論 ? Actimania, based on the largest, most comprehensive human-edited directory of the web, covers a large variety of annotated sites related to World, Japanese, 科学, 自然科学, 数学, 数理論理学・数学基礎論. This category lists wide range of carefully selected sites in World, Japanese, 科学, 自然科学, 数学, 数理論理学・数学基礎論.

Hotels Galaxy - Hotels all around the world. Discount hotels, hotel rates and lodging reservation. Hotels reservations, flights, cars, travel, vacations, cruises.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
OOVacances - Vacations in France - Vacations and Holidays in France. Vacation Rentals of Private Villas, cottages, cabins, apartments and condos.

ほかの言語でのこのカテゴリ

英語 (831) ドイツ語 (10) スペイン語 (10)
フランス語 (23) イタリア語 (4) ロシア語 (4)

http://markun.cs.shinshu-u.ac.jp/learn/iproof/

» 情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。

http://www.shayashi.jp/HistorySociology/

» 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。

http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/

» 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。

http://www.sato.kuis.kyoto-u.ac.jp/SLACS/

» 記号論理と情報科学研究集会 - 記号論理学と情報科学の境界領域に関する研究発表や研究討論。

» 高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

This page of directory is focused on one aspect of World, Japanese, 科学, 自然科学, 数学, 数理論理学・数学基礎論.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Actimania web directory list the sites by theme. The links in Actimania directory are collected, edited and organized by humans.