Logic, Language, Information and Computation
Publication year: 2007
ISBN: 978-3-540-73445-1
Internet Resource: Please Login to download book
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community.
Subject: Computer Science, Erfüllbarkeitsproblem der Aussagenlogik, adaptive functions, algorithhms, algorithm, algorithms, calculi, calculus, classical computability, complexity theory, formal methods, formal verification, fuzzy lo, logic, optimization, verification
