| 1 |
Restoring Reason: Theology of Logic in Origen of Alexandria ...
|
|
Haecker, Ryan. - : Apollo - University of Cambridge Repository, 2022
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Gender Differences in the Multiple Intelligence Skills of Library and Information Science Professionals in Universities in Tamil Nadu, India
|
|
|
|
In: Library Philosophy and Practice (e-journal) (2019)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Diversity of teachers' language in mathematics classrooms about line symmetry and potential impact on students' learning
|
|
|
|
In: Proceedings of the IV ERME Topic Conference 'Classroom-based research on mathematics and language' (pp. 41-48) ; https://hal.archives-ouvertes.fr/hal-01856475 ; Proceedings of the IV ERME Topic Conference 'Classroom-based research on mathematics and language' (pp. 41-48), Mar 2018, Dresde, Germany ; http://www.mathematik.uni-dortmund.de/~prediger/ERME/18-ETC4_Proceedings-Complete.pdf (2018)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Multiple Intelligence Skills among Library and Information Science Professionals of Government and Private Universities in Tamil Nadu, India: An Exploratory Study
|
|
|
|
In: Library Philosophy and Practice (e-journal) (2018)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
A formal semantics for isorecursive and equirecursive state abstractions
|
|
|
|
In: Technical Report / ETH Zurich, Department of Computer Science, 773 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Verification condition generation for permission logics with abstract predicates and abstraction functions
|
|
|
|
In: Technical Report / ETH Zurich, Department of Computer Science, 776 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Verification condition generation for permission logics with abstract predicates and abstraction functions ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A formal semantics for isorecursive and equirecursive state abstractions ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Distance Education and Community Learning Networks linked by a Library of Culture
|
|
|
|
In: Student Affairs Digital Community Development (2011)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Un modelo para estimar las acciones a aplicar a los alumnos de E.S.O.
|
|
|
|
In: Journal of Educational Research; Vol. 26 No. 2 (2008); 385-407 ; Revista de Investigación Educativa; Vol. 26 Núm. 2 (2008); 385-407 ; 1989-9106 ; 0212-4068 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A STUDY OF LOGICAL-MATHEMATICAL THINKING FROM MULTIPLE INTELLIGENCES FRAMEWORK ; ESTUDIO DEL RAZONAMIENTO LÓGICO-MATEMÁTICO DESDE EL MODELO DE LAS INTELIGENCIAS MÚLTIPLES
|
|
|
|
In: Anales de Psicología / Annals of Psychology; Vol. 24 No. 2 (2008); 213-222 ; Anales de Psicología / Annals of Psychology; Vol. 24 Núm. 2 (2008); 213-222 ; 1695-2294 ; 0212-9728 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Un modelo para estimar las acciones a aplicar a los alumnos de E.S.O.
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types
|
|
|
|
In: Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury) ; https://hal.inria.fr/inria-00138201 ; Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury), A.B. Letuchiy, V.S. Volk, N.A. Korotkova, Ya.G. Testelets, Apr 2007, Moscow, Russia (2007)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
A Framework for Defining Logical Frameworks
|
|
|
|
In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
A Framework for Defining Logical Frameworks
|
|
|
|
In: https://hal.inria.fr/inria-00088809 ; [Research Report] RR-5963, INRIA. 2006, pp.56 (2006)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Using Multiple Intelligences to Teach Zambian Children About HIV-AIDS
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Discriminative Slot Detection Using Kernel Methods
|
|
|
|
In: DTIC (2004)
|
|
BASE
|
|
Show details
|
|
|
|
|
