ACM Transactions on Computational Logic - PDFSEARCH.IO - Document Search Engine

ACM Transactions on Computational Logic
Results: 10

#	Item
1	Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-08-25 13:21:53 Logic in computer science Computer scientists ACM Transactions on Computational Logic ACM SIGLOG Victor Vianu Computational logic Prakash Panangaden Association for Computing Machinery
2	NOTE: This is a preliminary release of an article accepted by the ACM Transactions on Modeling and Computer Simulation. The definitive version is currently in production at ACM and, when released, will supersede this ver Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-01-19 10:01:48 Science Computational science Operations research Simulation Network simulation Logic simulation Computer simulation Algorithm Wireless sensor network Electronic engineering Scientific modeling Electronic design automation
3	Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-11 14:30:36 The Manitoban ACM Transactions on Computational Logic Victor Vianu Computer science
4	Computational Historiography: Data Mining in a Century of Classics Journals David Mimno More than a century of modern Classical scholarship has created a vast archive of journal publications that is now becoming availabl Add to Reading List Source URL: www.perseus.tufts.edu Language: English - Date: 2011-06-15 11:14:26 Natural language processing Artificial intelligence Information retrieval Topic model Formal sciences ACM Transactions on Computational Logic Latent Dirichlet allocation Latent semantic analysis Computational linguistics Statistical natural language processing Statistics Science
5	Helm-Cravens Library Alphabetical List of Print Periodical Holdings Helm Library, 2nd floor (the top floor), contains most of WKU Libraries’ print periodical holdings. These periodicals represent the most recent decade Add to Reading List Source URL: www.wku.edu Language: English - Date: 2015-02-12 17:18:31 ACM SIGACT ACM Computing Surveys ACM Transactions on Computer-Human Interaction ACM Transactions on Graphics ACM Transactions on Computational Logic ACM SIGGRAPH ACM Transactions on Programming Languages and Systems Peter J. Denning Communications of the ACM Association for Computing Machinery Computer science ACM Transactions on Mathematical Software
6	COMPENDEX SOURCE LIST -- JOURNALS[removed]Date of file is: 8 April 2011 TITLE AAC: Augmentative and Alternative Communication AAPG Bulletin ABB Review Add to Reading List Source URL: www.library.umaine.edu Language: English - Date: 2012-08-08 10:47:25 Analog Integrated Circuits and Signal Processing Association for Computing Machinery Acta Materialia Elsevier ACM Transactions on Computer-Human Interaction ACM Transactions on Computational Logic Springer Science+Business Media ARDI Publishing Academic publishing Academia
7	Title of E-Journals 1 3D Research 2 Add to Reading List Source URL: fa.journals.sid.ir Language: English - Date: 2010-12-14 07:04:38 Acta Materialia ACM Transactions on Computational Logic ACM Transactions on Graphics Academic publishing Mass media Annals Chronicles Publishing
8	British Library International Non-Commercial Document Supply Service Title List Title 123 .Net: The Internet Magazine 21 Century Education Add to Reading List Source URL: www.bl.uk Language: English - Date: 2014-11-22 15:49:27 Asia Anti-Counterfeiting Trade Agreement ACM Transactions on Mathematical Software Association for Computing Machinery ACM Transactions on Computer-Human Interaction Publishing Law Academic publishing Acta Materialia ACM Transactions on Computational Logic Acta Zoologica
9	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
10	PDF Document Add to Reading List Source URL: www.perseus.tufts.edu Language: English - Date: 2011-06-15 11:14:26 Natural language processing Artificial intelligence Information retrieval Topic model Formal sciences ACM Transactions on Computational Logic Latent Dirichlet allocation Latent semantic analysis Computational linguistics Statistical natural language processing Statistics Science