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
The Times They Are A-Changin’: Research Networks for Understanding and Disseminating Transition and Innovation
Transition studies review, 2004-12, Vol.11 (3), p.1-3
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Editorial
Higher-Order and Symbolic Computation, 2006-09, Vol.19 (2-3), p.167-168
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Encoding Modal Logics in Logical Frameworks
Studia logica, 1998-01, Vol.60 (1), p.161-208
1998
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Using typed lambda calculus to implement formal systems on a machine
Journal of automated reasoning, 1992-12, Vol.9 (3), p.309-354
1992
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Encoding Modal Logics in Logical Frameworks
Studia logica, 1998-01, Vol.60 (1), p.208
1998
Link zum Volltext
Verfügbarkeit prüfen
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
KollektionWiley Online Library
KollektionSpringerNature Journals
Suchergebnisse filtern
Filter anzeigen