Difference between revisions of "Category:Logic"
(new(?)) |
(changed supercategory) |
||
| Line 1: | Line 1: | ||
Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification). | Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification). | ||
| − | [[Category: | + | [[Category:Formal science]] |
Revision as of 10:14, 24 December 2008
Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification).
Pages in category "Logic"
The following 84 pages are in this category, out of 84 total.
C
L
- LaSh 2016
- LICS
- LICS 1986
- LICS 1987
- LICS 1988
- LICS 1989
- LICS 1990
- LICS 1991
- LICS 1992
- LICS 1993
- LICS 1994
- LICS 1995
- LICS 1996
- LICS 1997
- LICS 1998
- LICS 1999
- LICS 2000
- LICS 2001
- LICS 2002
- LICS 2003
- LICS 2004
- LICS 2005
- LICS 2006
- LICS 2007
- LICS 2008
- LICS 2009
- LICS 2010
- LICS 2011
- LICS 2012
- LICS 2013
- LICS 2014
- LICS 2015
- LICS 2016
- LICS 2017
- LICS 2018
- LICS 2019
- LICS 2020
- LID 2008
- LOPSTR
- LOPSTR 2016
- LOPSTR 2017
- LOPSTR 2018
- LOPSTR 2019
- LOPSTR 2020
