Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite De Montpellier Language : albanian Language : dutch Language : english Language : norwegian nynorsk Language : romanian; moldavian; moldovan Language : sinhala Language : slovak Language : spanish Language : tamil Language : waray Subject : computer science

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving

Authors :

Subjects: MathematicsUtrecht

Source: CERME11 ; Eleventh Congress of the European Society for Research in Mathematics Education (CERME11) ; https://hal.science/hal-02398483 ; Eleventh Congress of the

Read More Add to Saved list

Conference

An epistemological study of recursion and mathematical induction in mathematics and computer science

Authors :

Subjects: RecursionUtrecht

Source: CERME11 ; Eleventh Congress of the European Society for Research in Mathematics Education ; https://hal.science/hal-02398465 ; Eleventh Congress of the European Society

Read More Add to Saved list

Conference

Impact of Informatics on Mathematics and Its Teaching

Authors :

Subjects: EpistemologyPisa

Source: History and Philosophy of Computing: Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers ; 3rd International Conference on History and Philosophy of

Read More Add to Saved list

Academic Journal

Antisquares and Critical Exponents

Authors :

Subjects: Mathematics

Source: ISSN: 1462-7264.

Read More Add to Saved list

Conference

Canonical Foliations of Statistical Manifolds with Hyperbolic Compact Leaves

Authors :

Subjects: MathematicParis

Source: 5th International Conference on Geometric Science of Information (GSI)https://enac.hal.science/hal-036095595th International Conference on Geometric Science of Information (GSI), Jul 2021,

Read More Add to Saved list

Conference

Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity

Authors :

Subjects: LogicStockholmStockholm, Sweden

Source: Symposium on Logic and Algorithms in Computational Linguistics ; LACompLing: Logic and Algorithms in Computational Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916104 ; LACompLing: Logic and

Read More Add to Saved list