Treffer 1 - 1 von 1 für Suche 'Workshop on Mechanized Reasoning about Languages with Variable Binding', Suchdauer: 0,15s Treffer weiter einschränken
  1. 1
    Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
    Veröffentlicht 2005
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: