Some Useful Links

· Logic and AI

Computing Research Repository (CoRR)

Logic Servers World-Wide

AI on the Web

Some AI Links

AI Library (WWW Virtual Library)

LP Library (WWW Virtual Library)

Formal Methods Library (WWW Virtual Library)

Multiple-Valued Logics

Stanford Encyclopedia on Paraconsistency

CLE e-Prints

· Misc. Information

LaTeX Online Manual

Computer Science Bibliography (DBLP)

Computer Science Journals

Famous Mathematicians - Chronological Index

· Other Useful Sites

News: BBC CNN

Local Weather: BBC CNN

Local Press: Ha'aretz Ynet


Back to homepage