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...
Zur Ergebnisliste
Ergebnis 22 von 288
    Datensatz exportieren als...
  • BibTeX
In Memory of Mark Stickel
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
In Memory of Mark Stickel
Ist Teil von
  • Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
Ort / Verlag
Dordrecht: Springer Netherlands
Erscheinungsjahr
2016
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISSN: 0168-7433
eISSN: 1573-0670
DOI: 10.1007/s10817-015-9347-z
Titel-ID: cdi_proquest_journals_2063881604
Format
–
Schlagworte
Artificial Intelligence, Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Symbolic and Algebraic Manipulation

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX