Personal tools
You are here: Home
SCORE
 
Document Actions

Welcome to SCORE Group

Fermi Note
Flapping Crane 

Research topics

  • Symbolic computation
  • Theorem proving
  • Software verification
  • Computational Origami
  • Declarative programming
  • Models of computation
              

Symbolic Computation Laboratory
Department of Computer Science
Graduate School of Systems and Information Engineering
University of Tsukuba, Tsukuba 305-8573, Japan
phone: +81 29-853-5164/fax: +81 29-853-6982
« February 2010 »
Su Mo Tu We Th Fr Sa
123456
78910111213
14151617181920
21222324252627
28
 
Powered by Plone CMS, the Open Source Content Management System