shop by

Logic, Language Information and Computaition : 14th International Workshop, WoLLIC 2007, Rio De Janeiro, Brazil, July 2-5, 2007, Proceedings (Paperback)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This book constitutes the refereed proceedings of the 14th International Workshop on Logic, Language, Information and Computation, WoLLIC 2007, held in Rio de Janeiro, Brazil in July 2007.

The 21 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 52 submissions. The papers focus on foundations of computing and programming, novel computation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.


Publisher Springer-Verlag New York Inc
Mfg Part# 9783540734437
SKU 205105796
Format Paperback
ISBN10 3540734430
Release Date 9/1/2007
Sold Out
Sorry, you missed the deal!
This product is currently not available.
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details