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
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Lecture Notes in Computer Science : 10499
2017
    Datensatz exportieren als...
  • BibTeX
Scalable Uncertainty Management : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
Lecture Notes in Computer Science : 9858
2016
    Datensatz exportieren als...
  • BibTeX
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Geometric Science of Information : Second International Conference, GSI 2015, Palaiseau, France, October 28–30, 2015, Proceedings
2015
    Datensatz exportieren als...
  • BibTeX
Virtual, Augmented and Mixed Reality. Applications of Virtual and Augmented Reality : 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Principles of Distributed Systems : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings [Elektronische Ressource]
2012
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
Art des MediumsGedruckt
SchlagwortHigher education and state / History / 20th century
ErscheinungsformMonographie
SchlagwortArtificial intelligence
Suchergebnisse filtern
Filter anzeigen