Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University
A-4040 Linz, Austria, Europe
Phone: +43 732 2468 9946
Fax: +43 732 2468 9930

Material ajutator pentru cursurile de la master

Semestrul 1: Techniques for Scientific Work (TSW)

Subjects from previous examinations: tsw-exam-1.pdf, tsw-exam-2.pdf, tsw-exam-3.pdf.

Subjects with solutions: tsw-exam-sol-1.pdf.

Other material for proof training:

Material for individual study by Bruno Buchberger:

Semestrul 2: Automated Theorem Proving (ATP)

Home Page of the ATP Lecture

Additional material

T. Jebelean