Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / edited by Wilfrid Hodges, Ruy de Queiroz.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinbur...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hodges, Wilfrid (Editor), de Queiroz, Ruy (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Lecture Notes in Artificial Intelligence ; 5110 Springer eBook Collection.
Subjects:	Logic. Artificial intelligence. Computer programming. Computers. Algorithms. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Published: (2019)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Published: (2016)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Published: (2010)

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Published: (2017)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Published: (2014)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Published: (2015)

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Published: (2009)

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Published: (2007)

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Published: (2018)

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Published: (2011)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Published: (2013)

The Logic of Partial Information
by: Nait Abdallah, Areski
Published: (1995)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Published: (2015)

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings
Published: (2008)

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Published: (2014)

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Published: (2002)

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Published: (2009)

Logic, Language, Information, and Computation
Published: (2012)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Published: (2008)

Graph Structures for Knowledge Representation and Reasoning Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Published: (2012)

Computational Logic Symposium Proceedings, Brussels, November 13/14, 1990
Published: (1990)

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Published: (2016)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Published: (2018)

DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
Published: (2001)

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Published: (2012)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Published: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Published: (2008)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Published: (2008)

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Published: (1997)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Published: (2005)

Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings
Published: (2000)

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Published: (2011)

Constraints in Computational Logics First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Published: (1994)

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Published: (2007)

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings
Published: (2009)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Programming Language Implementation and Logic Programming International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings
Published: (1990)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Published: (2006)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
Published: (2010)

Logic, Algebra, and Computation International Summer School
Published: (1991)