Workshop on Logic, Language, Information and Computation - PDFSEARCH.IO - Document Search Engine

Workshop on Logic, Language, Information and Computation
Results: 11

#	Item
1	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
2	Soc 8590: Work, Health, and Well-Being Fall:45-2:15 Mondays Room: 1114 SST Instructor Add to Reading List Source URL: www.soc.umn.edu Language: English - Date: 2006-08-30 11:29:10 Law Workshop on Logic Language Information and Computation Drug control law Soil Terramechanics
3	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
4	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
5	S ection 14 B ibliography S ection 14 B ibliography Mark Torrence/SGT, Inc. Add to Reading List Source URL: ilrs.gsfc.nasa.gov Language: English - Date: 2013-01-31 13:15:04 Workshop on Logic Language Information and Computation Peridynamics
6	Microsoft Word - Nitrogen News 1 - April 2009.doc Add to Reading List Source URL: www.epa.gov Language: English - Date: 2011-07-12 11:56:58 Oikos Workshop on Logic Language Information and Computation Peridynamics
7	Name: Sebastian Link August 2, 2010 Publications Completed Degrees Add to Reading List Source URL: slink.foiks.org Language: English - Date: 2010-08-01 17:32:41 Knowledge Lecture Notes in Computer Science Systems theory International Standard Serial Number Information Bernhard Thalheim Science Workshop on Logic Language Information and Computation Dependency theory
8	Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-06-03 09:06:46 Logic in computer science Automated theorem proving Dependently typed programming Type theory Formal sciences Federated Logic Conference Logic programming Workshop on Logic Language Information and Computation Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Mathematics
9	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
10	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic