Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

Description:

keywords:database systems lecture notes,data communication lecture notes,computer security lecture notes,data communication and networking lecture notes,network security notes,

Published in honor of Daniele Mundici on the occasion of his 60th birthday, the 17 revised papers of this Festschrift volume include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, it is the third volume of the FoLLI LNAI subline.

./upload/Programming/Algebraic_and_Proof-theoretic__6_24_2015_6_17_58_PM.jpg
eBook Details:
Category: Programming
Author: S. Aguzzoli, A. Ciabattoni, B. Gerla
Language: English
ISBN10: 3540759387
ISBN13: 9783540759386
Pages: 309
PubDate: 2007-10-26 00:00:00
UploadDate: 6/24/2015 6:17:58 pm

The Latest Upload

The Most Related

Category