Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Prof. Dr. rer. nat. Otto Mayer

Informatik (RPTU in Kaiserslautern), Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

Raum: 48/462
  • 0631/205-4070
  • 0631/205-2803
Forschungsprojekte
PDF | RTF

1996 - 1998

Temporallogische Programmierung