Treffer 1 - 2 von 2 für Suche 'Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group]
    Veröffentlicht 2002
    Inhaltsverzeichnis
    Kapitel 1
    Cover
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers ; [refereed selection of papers presented at the second annual workshop of the Types Working Group]
    Veröffentlicht 2003
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: