Twenty-eighth Annual IEEE Symposium on Logic in Computer Science 25-28 June 2013, New Orleans, Lousiana

Advances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Veröffentlicht: (1999)

Computer science logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993 ; selected papers
Veröffentlicht: (1994)

Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Veröffentlicht: (2007)

Logic Colloquium '03 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Veröffentlicht: (2016)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1 - 6, 1999
Veröffentlicht: (2004)

Logic Colloquium '02 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Veröffentlicht: (2016)

Proceedings 21st annual IEEE Symposium on Logic in Computer Science ; LICS 2006 ; 12 - 15 August 2006, Seattle, Washington
Veröffentlicht: (2006)

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Veröffentlicht: (2006)

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Veröffentlicht: (2006)

Logic colloquium '02 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Veröffentlicht: (2006)

Developments in theoretical computer science proceedings of the 7th International Meeting of Young Computer Scientists, Smolenice, 16 - 20 November 1992
Veröffentlicht: (1994)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Veröffentlicht: (2012)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Veröffentlicht: (2012)

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
Veröffentlicht: (2006)

Results and trends in theoretical computer science Colloquium in honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994 ; proceedings
Veröffentlicht: (1994)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Veröffentlicht: (2010)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Veröffentlicht: (2010)

Proceedings of the 14th and 15th Asian Logic Conferences Mumbai, India & Daejeon, South Korea, 5-8 January 2015 & 10-14 July 2017
Veröffentlicht: (2019)

Theoretical computer science exploring new frontiers of theoretical informatics ; international conference IFIP TCS 2000, Sendai, Japan, August 17 - 19, 2000 ; proceedings
Veröffentlicht: (2000)

CMU computer science a 25th anniversary commemorative
Veröffentlicht: (1991)

Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989
von: Moschovakis, Yiannis N.
Veröffentlicht: (1992)

Proceedings of the fifth Israeli Symposium on Theory of Computing and Systems June 17 - 19, 1997, Ramat-Gan, Israel
Veröffentlicht: (1997)

Cabal seminar ... proceedings, Caltech-UCLA Logic Seminar, ...
Veröffentlicht: (1981)

Computer science - theory and applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7 - 12, 2008 ; proceedings
Veröffentlicht: (2008)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
Veröffentlicht: (2012)

Future tendencies in computer science, control and applied mathematics international conference on the occasion of the 25th anniversary of INRIA, Paris, France, December 8 - 11, 1992 ; proceedings
Veröffentlicht: (1992)

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 ; proceedings
Veröffentlicht: (2007)

STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17 - 19, 2000 ; proceedings
Veröffentlicht: (2000)

Logic Colloquium 2004 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Veröffentlicht: (2007)

Logic Colloquium '90 ASL summer meeting in Helsinki
Veröffentlicht: (2016)

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology
Veröffentlicht: (2009)

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Veröffentlicht: (1979)

Computing and combinatorics second annual international conference, COCOON '96, Hong Kong, June 17 - 19, 1996 ; proceedings
Veröffentlicht: (1996)

Logic mathematics, language, computer science and philosophy
von: De Swart, Harrie 1944-
Veröffentlicht: (1993)

Logic mathematics, language, computer science and philosophy
von: De Swart, Harrie 1944-
Veröffentlicht: (1993)

Logic a first course
von: Fairchild, David L.
Veröffentlicht: (1978)