Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics by Maryam Ramezankhani

Subjects: “…formalizing sense relations mathematical logic propositional logic sense relations in sentence level…”
Get full text

Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics by Maryam Ramezankhani

Subjects: Get full text

A designer support framework for specification comprehensibility in automata-based discrete-event control design by Amrith Dhananjayan

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Modeling and verification of safety critical systems : a case study on pacemaker by Koo, Sheng Kiat

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Higher-order semantics for quantum programming languages with classical control by Atzemoglou, GP

Subjects: “…Mathematical logic and foundations…”

REPRESENTASI MATEMATIS SISWA DALAM PEMECAHAN MASALAH PERBANDINGAN TRIGONOMETRI PADA SEGITIGA SIKU-SIKU DITINJAU DARI KECERDASAN LOGIS MATEMATIS, LINGUISTIK DAN VISUAL SPASIAL by Merlin Hitalessy, Wilmintjie Mataheru, Carolina Selfisina Ayal

Subjects: “…mathematical representations, mathematical logical intelligence, linguistics, visual spatial…”
Get full text

Logical compactness and constraint satisfaction problems by Danny Rorabaugh, Claude Tardif, David Wehlau

Subjects: “…mathematics - logic…”
Get full text

On the Monadic Second-Order Transduction Hierarchy by Achim Blumensath, Bruno Courcelle

Subjects: “…mathematics - logic…”
Get full text

Turing machines on represented sets, a model of computation for Analysis by Nazanin Tavana, Klaus Weihrauch

Subjects: “…mathematics - logic…”
Get full text

Characterization theorem for the conditionally computable real functions by Ivan Georgiev

Subjects: “…mathematics - logic…”
Get full text

Foundations of Online Structure Theory II: The Operator Approach by Rod Downey, Alexander Melnikov, Keng Meng Ng

Subjects: “…mathematics - logic…”
Get full text

Overlap Algebras as Almost Discrete Locales by Francesco Ciraulo

Subjects: “…mathematics - logic…”
Get full text

The Axiomatics of Free Group Rings by Benjamin Fine, Anthony Gaglione, Martin Kreuzer, Gerhard Rosenberger, Dennis Spellman

Subjects: Get full text

Connect the dots: connecting problem solving and videogames in initial training of early childhood education teachers by Juan Antonio Antequera-Barroso, Enrique Carmona-Medeiro

Subjects: Get full text

Automatic verification of competitive stochastic systems by Simaitis, A

Subjects: “…Mathematical logic and foundations…”

Techniques and tools for the verification of concurrent systems by Palikareva, H

Subjects:

Decidable Expansions of Labelled Linear Orderings by Alexis Bes, Alexander Rabinovich

Subjects: Get full text

Bounded Arithmetic in Free Logic by Yoriyuki Yamagata

Subjects: “…mathematics - logic…”
Get full text

Algorithmic randomness for Doob's martingale convergence theorem in continuous time by Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

Subjects: Get full text

ANALISIS KEMAMPUAN BERPIKIR LOGIS MATEMATIS SISWA PADA MATERI SISTEM PERSAMAAN LINEAR DUA VARIABEL by Mustafa A H Ruhama, Nurya Yasin, Karman La Nani

Subjects: “…mathematical logical thinking ability, systems of linear equations in two variables…”
Get full text