본문

  1. Home
26 Results:SS:LOGIC 0.406 sec.
RSS 
다국어입력
 상세검색
 신착검색
11
Remarks on the Tree Property and Its Generalizations
Remarks on the Tree Property and Its Generalizations
Dean, Carl Thomas. | University of Illinois at Chicago | 2021
Naver 정보보기
위치정보
12
Alternatives, Exclusivity and Underspecification
Alternatives, Exclusivity and Underspecification
Windhearn, Jennifer Rosemarie 'Mia'. | Cornell University | 2021
Naver 정보보기
위치정보
13
Parameterization and Concise Representation in Graph Algorithms: Leaf Powers, Subgraphs with Hereditary Properties, and Activity-on-Edge Minimization
Parameterization and Concise Representation in Graph Algorithms: Leaf Powers, Subgraphs with Hereditary Properties, and Activity-on-Edge Minimization
Havvaei, Elham. | University of California, Irvine | 2021
Naver 정보보기
위치정보
14
Strong Omega Consistency
Strong Omega Consistency
Sanchez, Richard. | Harvard University | 2021
Naver 정보보기
위치정보
15
A Framework for Reasoning About LF Specifications
A Framework for Reasoning About LF Specifications
Southern, Mary. | University of Minnesota | 2021
Naver 정보보기
위치정보
16
Discourse and Construction: Kant, Schleiermacher, and the Articulation of Epistemology's Language Problem
Discourse and Construction: Kant, Schleiermacher, and the Articulation of Epistemology's Language Problem
Hayworth, Zachary. | Harvard University | 2021
Naver 정보보기
위치정보
17
Statistical Methods in the Social Sciences
Statistical Methods in the Social Sciences
Zhao, Kino. | University of California, Irvine | 2021
Naver 정보보기
위치정보
18
Mere Appearance: Redressing the History of Philosophy
Mere Appearance: Redressing the History of Philosophy
Zimmer, Amie Leigh. | University of Oregon | 2021
Naver 정보보기
위치정보
19
Question-Answering with Structural Analogy
Question-Answering with Structural Analogy
Crouse, Maxwell. | Northwestern University | 2021
Naver 정보보기
위치정보
20
Compositional and Automated Verification of Distributed Systems
Compositional and Automated Verification of Distributed Systems
Wilcox, James R. | University of Washington | 2021
Naver 정보보기
위치정보
처음이전123이후마지막