Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Logic, Language and Meaning
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Aloni, Maria (Editor), Bastiaanse, Harald (Editor), Jager, Tikitu de (Editor), Schulz, Katrin (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6042
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Computer science > Mathematics.
Application software.
Computer Science.
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Computer Appl. in Arts and Humanities.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
  • Holdings
  • Description
  • Table of Contents
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
by Aloni, Maria
Published 2010
Call Number: Loading…
Located: Loading…
Get full text
Electronic Kit Book
Show all versions (2)

Similar Items

  • Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
    Published: (2009)
  • Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /
    Published: (2006)
  • Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
    Published: (2005)
  • Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    Published: (2007)
  • Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /
    Published: (2012)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud
Cannot write session to /tmp/vufind_sessions/sess_fsl1qdeknce7mqvf7qfl5ud7fm