Results 121 to 130 of about 99,866 (158)
Some of the next articles are maybe not open access.
Logic for static hazard detection of multiple-valued logic circuits with TSUM, MIN, and Literals
Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic, 2002N. Takagi, K. Nakashima
semanticscholar +1 more source
On the Care and Use of Mathematical Models
American Naturalist, 1975S. Levin
semanticscholar +1 more source
Review: Richard L. Tieszen, Mathematical Intuition. Phenomenology and Mathematical Knowledge
Journal of Symbolic Logic (JSL), 1991G. E. R. Haddock
semanticscholar +1 more source
A Model for Phase Transition of Random Answer-Set Programs
ACM Transactions on Computational Logic, 2016Lian Wen +3 more
semanticscholar +1 more source
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science, 2003V. Pratt
semanticscholar +1 more source
Abstractional Concept Mapping: A Foundational Model for Analogical Reasoning
International Conference on Climate Informatics, 1997C. Dierbach, D. Chester
semanticscholar +1 more source
Materials challenges for trapped-ion quantum computers
Nature Reviews Materials, 2021Kenneth R Brown +2 more
exaly
Semantic interaction-enhanced encoding network for math word problem solving
Applied intelligence (Boston)Lingsheng Xiao +4 more
semanticscholar +1 more source