| 3 |
Viewing Formal Mathematics from Yoruba Conception of the Sky
|
|
|
|
In: Segla, Aimé. (2016). Viewing Formal Mathematics from Yoruba Conception of the Sky. Journal of Astronomy in Culture, 1(1). Retrieved from: http://www.escholarship.org/uc/item/4sk1p169 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Topologies, Continuity and Bisimulations
|
|
|
|
In: Theoretical Informatics and Applications (2015)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Topologies, Continuity and Bisimulations
|
|
|
|
In: Theoretical Informatics and Applications (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A Topological Approach to Recognition
|
|
|
|
In: Proceedings ICALP 2010, Part II, ; ICALP 2010 ; https://hal.archives-ouvertes.fr/hal-01101846 ; ICALP 2010, Jul 2010, Bordeaux, France. pp.151 - 162, ⟨10.1007/978-3-642-14162-1_13⟩ (2010)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Sparse Matrix Factorization: Applications to Latent Semantic Indexing
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Mathématisation de la linguistique et nature du langage
|
|
: PERSEE, 2009
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Berkeley's TREC 8 Interactive Track Entry: Cheshire II and Zprise
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Terminological Representation, Natural Language & Relation Algebra
|
|
|
|
In: http://www.mpi-sb.mpg.de/~schmidt/publications/MPI-I-92-246.ps.gz (1992)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Boolean Approaches in Digital Diagnosis
|
|
|
|
In: DTIC AND NTIS (1989)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Optimal Structures for Multimedia Instruction.
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
The Revised Revised Report on Scheme or an Uncommon Lisp
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Semantics of Inheritance and Attributions in the Description System Omega. Revision.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Proving Program Correctness. Volume V.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
An Algebraic Structure Theory of Rule Sets. I. A Formalization of Both Production Systems and Decision Tables.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Procedural Semantics as a Theory of Meaning.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Towards a Theory for Abstract Data Types.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Functions as Data Objects: The Implementation of Functions in LISP
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
|
|
|
