Logic, language, information, and computation : :: SCD d'Orléans

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

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

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented ...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Libkin, Leonid
Andre forfattere:	Kohlenbach, Ulrich (Directeur de la publication), de Queiroz, Ruy (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Serier:	Theoretical Computer Science and General Issues 8071
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic, Language, Information, and Computation, Texte imprimé, 9783642399916 • Logic, Language, Information, and Computation, Texte imprimé, 9783642399930

Lignende værker

Logic, Language and Computation

Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
af: Bezhanishvili, Guram
Udgivet: (2013)

Logic, language, and computation : festschrift in honor of Satoru Takasu
af: Jones, Neil D., 1941-

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Advances in Information and Computer Security : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
af: Sakiyama, Kazuo
Udgivet: (2013)

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Journal of logic, language and information
Udgivet: (2002)

Journal of Logic, Language and Information.

Journal of Logic, Language and Information.

Journal of Logic, Language and Information.

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Logic and Computation
Udgivet: (2023)

Information processing in computer-assisted interventions : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings
af: Barratt, Dean
Udgivet: (2013)

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
af: Pearce, David William, 1941-...., professeur d'économie

Language processing and intelligent information systems : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013 : Proceedings
af: Klopotek, Mieczyslaw A.
Udgivet: (2013)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989

Computation theory and logic
af: Börger, Egon, 1946-

Logic for Computer Scientists
af: Schöning, Uwe, 1955-

Journal of logic and computation.
Udgivet: (1990)

Language Processing and Knowledge in the Web : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
af: Gurevych, Iryna

Computer and information sciences : proceedings of the 25th International Symposium on Computer and Information Sciences

Logics and languages
af: Cresswell, Maxwell John, 1939-
Udgivet: (1973)

Field-programmable logic : smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 25, 1996 : proceedings

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
af: Gerdt, Vladimir P., 1947-2021

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings
af: Grossi, Davide
Udgivet: (2013)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales