Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013: proceedings [Book Review]

, & (eds.)
New York: Springer (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.A1.W64 2013

ISBN(s)

9783642399916

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

10th workshop on logic, language, information and computation (WoLLIC '2003): Co-sponsored by the association for symbolic logic, ouro preto (minas gerais), Brazil july 29-August 1, 2003. [REVIEW]Ruy J. G. B. de Queiroz - 2004 - Bulletin of Symbolic Logic 10 (2):295-296.
Rechtswissenschaft und formale Logik.Eckart Ratschow - 1998
19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Logic for Information Technology.Antony Galton - 1990
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Logic From Computer Science Proceedings of a Workshop Held November 13-17, 1989.Yiannis N. Moschovakis - 1992
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. De Oliveira - 2015 - Springer.
Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings.Georg Gottlob, Etienne Grandjean & Katrin Seyr - 1999 - Springer Verlag.
Logic and Random Structures: DIMACS Workshop, November 5-7, 1995.Ravi Bopu Boppana & Dimacs - 1997 - American Mathematical Soc..
Formale Logik.Paul Lorenzen - 1967 - Berlin,: de Gruyter.
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings.Peter Clote, Helmut Schwichtenberg & European Association for Computer Science Logic - 2000 - Springer.
Computer Science Logic 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings'.Egon Börger, Hans Kleine Büning, Michael M. Richter & Wolfgang Schönfeld - 1991 - Springer Verlag.
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings.Egon Börger, Hans Kleine Büning & Michael M. Richter - 1989 - Springer Verlag.
Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings.Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.) - 2021 - Springer Verlag.
5th Workshop on Logic, Language, Information and Computation (Wollic'98).Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.

Analytics

Added to PP
2022-12-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references