- 5 Resultados
precio mínimo: € 48,45, precio máximo: € 69,80, precio promedio: € 55,96
1
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - S. Aguzzoli
Pedir
por ZVAB.com
€ 52,46
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
S. Aguzzoli:

Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - Pasta blanda

2007, ISBN: 3540759387

[EAN: 9783540759386], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], LOGIK; PHILOSOPHIE / AUTOMATEDFIRSTORDERDEDUCTION; CONSTRUCTIVEPROVABILITY; EXTENSION; FREEMV-ALGEBRAS; FUZZY; … Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
2
Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - Aguzzoli, S. (Herausgeber); Ciabattoni, A. (Herausgeber); Marra, V. (Herausgeber); Manara, C. (Herausgeber); Gerla, B. (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 55,60
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Aguzzoli, S. (Herausgeber); Ciabattoni, A. (Herausgeber); Marra, V. (Herausgeber); Manara, C. (Herausgeber); Gerla, B. (Herausgeber):

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - libro nuevo

2007, ISBN: 3540759387

2007 Kartoniert / Broschiert Logik, Philosophie / Logik, Theoretische Informatik, Künstliche Intelligenz, Automatedfirstorderdeduction; Constructiveprovability; extension; FreeMV-algebr… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
3
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Aguzzoli, S. Gerla, B. Manara, C.
Pedir
por booklooker.de
€ 48,45
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Aguzzoli, S. Gerla, B. Manara, C.:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Pasta blanda

2007

ISBN: 9783540759386

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Published in honor of Dan… Más…

Gastos de envío:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
cerrar (X)
4
Pedir
por Biblio.co.uk
$ 73,07
(aprox. € 69,80)
Envío: € 11,761
Pedir
Detalles del proveedor
Enlace patrocinado
S. Aguzzoli:
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - Pasta blanda

2006, ISBN: 9783540759386

Paperback / softback. New. 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 … Más…

Gastos de envío: EUR 11.76 The Saint Bookstore
cerrar (X)
5
Algebraic and Proof-theoretic Aspects of Non-classical Logics - S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Pedir
por lehmanns.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Primera edición

2007, ISBN: 9783540759386

Pasta blanda

Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday, Buch, Softcover, 2007, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2007

Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Autor:
Título:
ISBN:

9783540759386


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 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. Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiled profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.

Detalles del libro - Algebraic and Proof-theoretic Aspects of Non-classical Logics


EAN (ISBN-13): 9783540759386
ISBN (ISBN-10): 3540759387
Tapa dura
Tapa blanda
Año de publicación: 2007
Editorial: Springer Berlin
308 Páginas
Peso: 0,481 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-11-26T22:35:38+01:00 (Madrid)
Página de detalles modificada por última vez el 2024-01-11T07:47:06+01:00 (Madrid)
ISBN/EAN: 9783540759386

ISBN - escritura alterna:
3-540-75938-7, 978-3-540-75938-6
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: stefano, erla, brun, vincenz, mana, agata, manara, his, marra, lang, vincenzo corrado, manar, gerla
Título del libro: logic algebra, classical papers, class, logic aspect, 1001 classical, birthday, pro asp, honor, the proof, algebraic, non classical logic, aspects the novel, lecture notes computer science, lecture notes artificial intelligence

Datos del la editorial

Autor: S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Título: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
Editorial: Springer; Springer Berlin
312 Páginas
Año de publicación: 2007-10-26
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 312 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automated first order deduction; Constructive provability; Extension; Free MV-algebras; Fuzzy; IMTL algebras; Lattice-ordered abelian groups; Lukasiewicz logic; Many-valued logic; Quantum computation; artificial intelligence; knowledge; logic; semantics; verification; Artificial Intelligence; Formal Languages and Automata Theory; Natural Language Processing (NLP); Theoretische Informatik; Natürliche Sprachen und maschinelle Übersetzung; EA

Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.- Note on Conditional Constructivity.- Symmetric MV-Algebras.- Implicit Operations in MV-Algebras and the Connectives of ?ukasiewicz Logic.- The Algebras of ?ukasiewicz Many-Valued Logic: A Historical Overview.- Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics.- Cantor–Bernstein Property for MV-Algebras.- A Note on Representing and Interpreting MV-Algebras.- Towards the Generalization of Mundici’s ? Functor to IMTL Algebras: The Linearly Ordered Case.- Verification by Parallelization of Parametric Code.- Finitely Presented Abelian Lattice-Ordered Groups.- On Fuzzy Theories with Crisp Sentences.- Proof Transformations and Structural Invariance.- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.- Notes on Strong Completeness in ?ukasiewicz, Product and BL Logics and in Their First-Order Extensions.- The Automorphism Group of Falsum-Free Product Logic.- Probability Theory on IF Events.
< para archivar...