Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited e...
Full description
Saved in:
Bibliographic Details
Corporate Author: |
SpringerLink (Online service) |
Other Authors: |
Aguzzoli, S.
(Editor),
Ciabattoni, A.
(Editor),
Gerla, B.
(Editor),
Manara, C.
(Editor),
Marra, V.
(Editor) |
Format: | eBook
|
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edition: | 1st ed. 2007. |
Series: | Lecture Notes in Artificial Intelligence ;
4460
Springer eBook Collection.
|
Subjects: | |
Online Access: | Click to view e-book
|
Holy Cross Note: | Loaded electronically. Electronic access restricted to members of the Holy Cross Community. |