Digital Archives and Automated Reasoning Laboratory

Computer Science and Information Engineering Department, National Taiwan University

Lab303 Research Introduction 20090327
"Good morning,"
the little prince said to him.
"Your cigarette has gone out."

"Three and two make five.
Five and seven make twelve.
Twelve and three make fifteen.
Good morning.
FIfteen and seven make twenty-two.
Twenty-two and six make twenty-eight.
I haven't time to light it again.
Twenty-six and five make thirty-one.
Phew !
Then that makes five-hundred-and-one-million,
six-hundred-twenty-two-thousand,
seven-hundred-thirty-one."

"Five hundred million what?"
asked the little prince.

-- From "The Little Prince"










RESEARCH TOPICS
VICE
Information Retrieval Agent
ManHunt
Theorem Proving
Miscellaneous

RESEARCH PUBLICATIONS
1997
1996
1995

PEOPLE
Faculty
Post Doctor
PhDs
Masters
Assistants
Undergraduates
Friends

MORE ABOUT THE LAB
Lab Location
Life
Living Space

REFERENCES AND LINKS