Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5378
2009
    Datensatz exportieren als...
  • BibTeX
Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings [Elektronische Ressource]
2008
1 – 4 von 4
Suche als RSS-Feed
Aktive Filter
SchlagwortSemantic Web
SchlagwortWissenschaftstheorie
Autor / AutorinKanade, Takeo
Autor / AutorinWeikum, Gerhard
Suchergebnisse filtern
Filter anzeigen