Formal Foundations of Computer Science 1

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Course Organization
  • Exercises
  • Course Materials
  • Logic Evaluator
  • Contents
  • Mathematical Domains
  • Mathematical Techniques
  • Our Goals
    • Author: Wolfgang Schreiner
    Last Modification: October 4, 1999
    [Up] [RISC-Linz] [University] [Search]