- 5 resultados
menor preço: € 48.45, preço mais alto: € 69.80, preço médio: € 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
Encomendar
no/na ZVAB.com
€ 52.46
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - Livro de bolso

2007, ISBN: 3540759387

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

NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fechar(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)
Encomendar
no/na Achtung-Buecher.de
€ 55.60
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - nuovo livro

2007, ISBN: 3540759387

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
3
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Aguzzoli, S. Gerla, B. Manara, C.
Encomendar
no/na booklooker.de
€ 48.45
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Aguzzoli, S. Gerla, B. Manara, C.:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Livro de bolso

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… mais…

Custos de envio:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
fechar(X)
4
Encomendar
no/na Biblio.co.uk
$ 73.07
(aproximadamente € 69.80)
Envio: € 11.761
Encomendar
Detalhes fornecedor
Link 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 - Livro de bolso

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 … mais…

Custos de envio: EUR 11.76 The Saint Bookstore
fechar(X)
5
Algebraic and Proof-theoretic Aspects of Non-classical Logics - S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Encomendar
no/na lehmanns.de
€ 53.49
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - primeira edição

2007, ISBN: 9783540759386

Livro de bolso

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

Custos de envio:Versand in 10-14 Tagen. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Autor:
Título:
Número 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.

Dados detalhados do livro - Algebraic and Proof-theoretic Aspects of Non-classical Logics


EAN (ISBN-13): 9783540759386
ISBN (ISBN-10): 3540759387
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer Berlin
308 Páginas
Peso: 0,481 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-11-26T19:35:38-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-11T03:47:06-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540759386

Número ISBN - Ortografia alternativa:
3-540-75938-7, 978-3-540-75938-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: stefano, erla, brun, vincenz, mana, agata, manara, his, marra, lang, vincenzo corrado, manar, gerla
Título do livro: 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

Dados da editora

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
Editora: Springer; Springer Berlin
312 Páginas
Ano de publicação: 2007-10-26
Berlin; Heidelberg; DE
Língua: 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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783540759393 Algebraic and Proof-theoretic Aspects of Non-classical Logics (S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra)

< Para arquivar...