Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
| Формат: | Цахим Цахим ном |
|---|---|
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Association for Computing Machinery (ACM),
5/11/09
|
| Нөхцлүүд: | |
| Онлайн хандалт: | Full text available on Research4Life (ACM) |
Ижил төстэй зүйлс
Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Gap and density theorems.
-н: Levinson, Norman
Хэвлэсэн: (1940)
-н: Levinson, Norman
Хэвлэсэн: (1940)
Proceedings of the Eighth Meeting of the ACL Special Interest Group on Computational Phonology and Morphology
Proceedings of the ACL Student Research Workshop
Proceedings of the Workshop on Coreference and its Applications
-н: Bagga
-н: Bagga
Proceedings of the 2nd ACM international workshop on Geotagging and its applications in multimedia
Proceedings of the ACL 2004 workshop on Student research
Proceedings of the 2004 ACL Workshop on Discourse Annotation
-н: Webber
-н: Webber
Proceedings of the Third ACL-SIGSEM Workshop on Prepositions
Proceedings of the Fourth ACL-SIGSEM Workshop on Prepositions
Proceedings of the ACL 2010 Student Research Workshop
Proceedings of ACL 2012 Student Research Workshop
Proceedings of the Eighth International Workshop on the Web of Things
Proceedings of the Eighth International Workshop of Chinese CHI
Proceedings of the Eighth International Workshop on Serverless Computing
Proceedings of the Eighth International Workshop on Dynamic Analysis
Proceedings of the international conference on APL : the language and its applications: the language and its applications
Proceedings of the ACL 2011 Workshop on Relational Models of Semantics
Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages
Proceedings of the ACL-SIGLEX Workshop on Deep Lexical Acquisition
Proceedings of the ACL Workshop on Building and Using Parallel Texts
Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
Proceedings of the ACL-IJCNLP 2009 Student Research Workshop
Proceedings of the second international workshop on MapReduce and its applications
Proceedings of the eighth international workshop on Hardware/software codesign
Proceedings of the eighth international workshop on Real-Time Ada
Proceedings of the ACL 2011 Student Session
Proceedings of the ACL 2010 System Demonstrations
Proceedings of the ACL 2012 System Demonstrations
Proceedings of the Eighth Workshop on Micro Aerial Vehicle Networks, Systems, and Applications
Proceedings of the Eighth European Workshop on System Security
Proceedings of the eighth workshop on Parallel and distributed simulation
Proceedings of the Eighth Workshop on Mining and Learning with Graphs
Proceedings of the eighth international conference on APL
Proceedings of the ACL-02 Workshop on Automatic Summarization - Volume 4
Proceedings of the ACL-02 workshop on Computational approaches to semitic languages
Proceedings of the ACL-2000 Workshop on Word Senses and Multi-Linguality
Proceedings of the ACL Workshop on Empirical Modeling of Semantic Equivalence and Entailment
Proceedings of third international workshop on MapReduce and its Applications Date
Jurnal Theorems (The Original Research of Mathematics) | Program Studi Pendidikan Matematika Universitas Majalengka