- 5 Risultati
prezzo più basso: € 48,45, prezzo più alto: € 69,80, prezzo medio: € 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
Ordina
da ZVAB.com
€ 52,46
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
S. Aguzzoli:

Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - edizione con copertina flessibile

2007, ISBN: 3540759387

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (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)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

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 libro

2007, ISBN: 3540759387

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
3
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Aguzzoli, S. Gerla, B. Manara, C.
Ordina
da booklooker.de
€ 48,45
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Aguzzoli, S. Gerla, B. Manara, C.:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - edizione con copertina flessibile

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

Costi di spedizione:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 73,07
(indicativi € 69,80)
Spedizione: € 11,761
Ordina
Dettagli del offerente
Link sponsorizzato
S. Aguzzoli:
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - edizione con copertina flessibile

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

Costi di spedizione: EUR 11.76 The Saint Bookstore
Chiudere (X)
5
Algebraic and Proof-theoretic Aspects of Non-classical Logics - S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Prima edizione

2007, ISBN: 9783540759386

edizione con copertina flessibile

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

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Autore:
Titolo:
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.

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


EAN (ISBN-13): 9783540759386
ISBN (ISBN-10): 3540759387
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin
308 Pagine
Peso: 0,481 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-11-26T22:35:38+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-11T07:47:06+01:00 (Zurich)
ISBN/EAN: 9783540759386

ISBN - Stili di scrittura alternativi:
3-540-75938-7, 978-3-540-75938-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : stefano, erla, brun, vincenz, mana, agata, manara, his, marra, lang, vincenzo corrado, manar, gerla
Titolo 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

Dati dell'editore

Autore: S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Titolo: 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
Editore: Springer; Springer Berlin
312 Pagine
Anno di pubblicazione: 2007-10-26
Berlin; Heidelberg; DE
Lingua: Inglese
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.
< Per archiviare...