Campus Event Calendar: B. Buchberger (07/01/1996 in 43.1 - DFKI/1.01)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Computer-Algebra und Theorem Proving

B. Buchberger

DFKI-Kolloquium

AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Monday, 1 July 96

10:00

60 Minutes

43.1 - DFKI

1.01

Saarbrücken

Abstract

Achtung!

Zeit war nicht gegeben - 10:00 Uhr ist geraten!

Contact

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Login for more details

Tags, Category, Keywords and additional notes

Keywords, Tags:

theorem proving

Copyright 2024 by Max Planck Institute for Informatics
Imprint / Impressum | Data Protection / Datenschutzhinweis