المؤلفون: Johannes Stegmüller

مصطلحات موضوعية: Math, Math Search, info, psy

Relation: https://zenodo.org/record/7113424

الاتاحة: https://zenodo.org/record/7113424

المؤلفون: Schubotz, Moritz, Meuschke, Norman, Leich, Marcus, Gipp, Bela

المصدر: NTCIR-12, 12th NTCIR Conference on Evaluation of Information Access Technologies, Tokyo, Japan, June 7-10, 2016

مصطلحات موضوعية: Mathematical Information Retrieval, Math Search, MathML

Relation: http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings12/pdf/ntcir/MathIR/02-NTCIR12-MathIR-SchubotzM.pdf; https://doi.org/10.5281/zenodo.3547435; https://doi.org/10.5281/zenodo.3547436; oai:zenodo.org:3547436

الاتاحة: https://doi.org/10.5281/zenodo.3547436

المؤلفون: Stegmüller, Johannes

مصطلحات موضوعية: Math, Math Search

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::533766cb4d2549eb504b55b5757d5d96

المؤلفون: Mohammed Q Shatnawi, Qusai Q. Abuein

مصطلحات موضوعية: component, digital ecosystem, math search, information retrieval, text-based search engines, structured information, indexing approach, representation technique

Relation: http://dx.doi.org/10.14569/IJACSA.2012.030314

الاتاحة: https://doi.org/10.14569/IJACSA.2012.030314

المؤلفون: Montréal Québec, Moody E. Altamimi, Abdou S. Youssef

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.idealliance.org/papers/extreme/proceedings/xslfo-pdf/2007/altamimi01/eml2007altamimi01.pdf.

مصطلحات موضوعية: Math Search

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.2904; http://www.idealliance.org/papers/extreme/proceedings/xslfo-pdf/2007/altamimi01/eml2007altamimi01.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.2904
http://www.idealliance.org/papers/extreme/proceedings/xslfo-pdf/2007/altamimi01/eml2007altamimi01.pdf

المؤلفون: Bouche, Thierry, Sojka, Petr

المساهمون: Institut Fourier (IF), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Cellule de coordination documentaire nationale pour les mathématiques (Mathdoc), Université Joseph Fourier - Grenoble 1 (UJF)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-00658111 ; Masaryk University Press, pp.112, 2011.

مصطلحات موضوعية: Digitisation, DML, Math search, [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]

الاتاحة: https://hal.science/hal-00658111

المؤلفون: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen

المساهمون: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen

مصطلحات موضوعية: artificial intelligence, databases, digital mathematical libraries, formal logic, interface generation, isabelle/hol, Isabelle/PIDE, machine learning, math search, math semantics, problem solving, semantics, symbolic computation, theorem provers, theorem proving, variadic equation matching

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-23249-8; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-23250-4; volume:11617; firstpage:1; lastpage:306; numberofpages:317; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11585/698619

الاتاحة: http://hdl.handle.net/11585/698619
https://doi.org/10.1007/978-3-030-23250-4