Die Suche ergab 5 Treffer

von aeflores
17. Sep 2014 09:36
Forum: Automated Theorem Proving
Thema: Location of the Exam
Antworten: 1
Zugriffe: 514

Re: Location of the Exam

The exam takes place in Prof. Dr. Reiner Hähnle's office: S2 02 | A204
von aeflores
4. Aug 2014 16:56
Forum: Automated Theorem Proving
Thema: Instance-Based Theorem Proving
Antworten: 1
Zugriffe: 611

Re: Instance-Based Theorem Proving

hi Johannes,
You are right, there was a mistake in the slides. I just uploaded a corrected version to the course webpage.
Antonio
von aeflores
17. Jun 2014 15:50
Forum: Automated Theorem Proving
Thema: About the lecture on Friday 20th
Antworten: 1
Zugriffe: 752

Re: About the lecture on Friday 20th

Given that there was no participation in the doodle, the lecture will take place on Friday.
I will post the solutions after the lecture as usual. For the ones that cannot attend, I remind you that you can post any questions you may have in the forum or via e-mail.
von aeflores
16. Jun 2014 15:10
Forum: Automated Theorem Proving
Thema: About the lecture on Friday 20th
Antworten: 1
Zugriffe: 752

About the lecture on Friday 20th

The exercises lecture on Friday, June 20th will take place as usual. Anyone willing to attend can do so. However, given the multiple requests of changing the lecture, I set up an extra time slot on Wednesday, June 18th to discuss the same exercises sheet (Exercises 4). You can vote for the time slot...
von aeflores
25. Apr 2014 16:02
Forum: Automated Theorem Proving
Thema: Welcome to the ATP forum!
Antworten: 0
Zugriffe: 724

Welcome to the ATP forum!

Welcome to the Automatic Theorem Proving! This forum will be the main platform for solving doubts, answering question and making announcements related to both the material and the organization of the course. We want to encourage all the students to participate, ask doubts and answer each other's que...

Zur erweiterten Suche