Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications

Bibliografiske detaljer
Format:	Electronisk Bog
Sprog:	English
Udgivet:	Association for Computing Machinery (ACM), 5/11/09
Fag:	Conference papers and proceedings.
Online adgang:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Lignende værker

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

The Implicit Function Theorem
af: Krantz
Udgivet: (2013)

Arrow Impossibility Theorems
af: Kelly, Jerry S.
Udgivet: (1978)

Interactive Theorem Proving
Udgivet: (2013)

An Introduction to Gödel's Theorems
af: Peter Smith
Udgivet: (2013)

Arrow Impossibility Theorems
af: Kelly, Jerry S.
Udgivet: (1978)

Proofs of the Cantor-Bernstein Theorem
af: Hinkis
Udgivet: (2013)

Atiyah-Singer Index Theorem
af: Mukherjee
Udgivet: (2013)

Proceedings of the Eighth Meeting of the ACL Special Interest Group on Computational Phonology and Morphology

Proceedings of the ACL Student Research Workshop

The ACL Handbook
Udgivet: (2013)

2017 Eighth International Workshop on Signal Design and Its Applications in Communications (IWSDA)

Proceedings of the ACL 2010 Student Research Workshop

Proceedings of the Third ACL-SIGSEM Workshop on Prepositions

Proceedings of ACL 2012 Student Research Workshop

Proceedings of the ACL 2004 workshop on Student research

Proceedings of the 2004 ACL Workshop on Discourse Annotation
af: Webber

Proceedings of the Fourth ACL-SIGSEM Workshop on Prepositions

Markov's Theorem and 100 Years of the Uniqueness Conjecture
af: Aigner
Udgivet: (2013)

A Guide to the Classification Theorem for Compact Surfaces
af: Gallier
Udgivet: (2013)

Limit Theorems in Probability, Statistics and Number Theory
Udgivet: (2013)

Coding Theorems of Classical and Quantum Information Theory
af: Parthasarathy
Udgivet: (2013)

Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages

Proceedings of the ACL 2011 Workshop on Relational Models of Semantics

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

The ACL-Deficient Knee
Udgivet: (2013)

Proceedings of the ACL 2010 System Demonstrations

Proceedings of the ACL 2012 System Demonstrations

Proceedings of the ACL 2011 Student Session

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 the Eighth International Workshop on Dynamic Analysis

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 the Web of Things