Author : Daniel Leivant
Publisher : Springer
Release : 2007-07-04
ISBN-13 : 3540734457
Page : 366 pages
Rating : 4.5/5 from 457 voters
The 14th International Workshop on Logic, Language, Information and Computation focused 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; and foundational aspects of information organization, search, flow, sharing, and protection.