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 5 von 307
Open Access
    Datensatz exportieren als...
  • BibTeX
Special Issue of Selected Extended Papers of IJCAR 2020
Journal of automated reasoning, 2022-08, Vol.66 (3), p.275-276
2022

Details

Autor(en) / Beteiligte
Titel
Special Issue of Selected Extended Papers of IJCAR 2020
Ist Teil von
  • Journal of automated reasoning, 2022-08, Vol.66 (3), p.275-276
Ort / Verlag
Dordrecht: Springer Netherlands
Erscheinungsjahr
2022
Link zum Volltext
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISSN: 0168-7433
eISSN: 1573-0670
DOI: 10.1007/s10817-022-09622-6
Titel-ID: cdi_pubmedcentral_primary_oai_pubmedcentral_nih_gov_9081318
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