- 5 Ergebnisse
Kleinster Preis: € 48,45, größter Preis: € 69,80, Mittelwert: € 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
Bestellen
bei ZVAB.com
€ 52,46
Versand: € 0,001
Bestellengesponserter Link
S. Aguzzoli:

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

2007, ISBN: 3540759387

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

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
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)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link

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 - neues Buch

2007, ISBN: 3540759387

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Aguzzoli, S. Gerla, B. Manara, C.
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellengesponserter Link
Aguzzoli, S. Gerla, B. Manara, C.:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Taschenbuch

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

Versandkosten:Sans frais d'envoi. (EUR 0.00) Moluna GmbH
4
Bestellen
bei Biblio.co.uk
$ 73,07
(ca. € 69,80)
Versand: € 11,761
Bestellengesponserter Link
S. Aguzzoli:
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday - Taschenbuch

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

Versandkosten: EUR 11.76 The Saint Bookstore
5
Algebraic and Proof-theoretic Aspects of Non-classical Logics - S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Erstausgabe

2007, ISBN: 9783540759386

Taschenbuch

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

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Algebraic and Proof-theoretic Aspects of Non-classical Logics

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.

Detailangaben zum Buch - Algebraic and Proof-theoretic Aspects of Non-classical Logics


EAN (ISBN-13): 9783540759386
ISBN (ISBN-10): 3540759387
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin
308 Seiten
Gewicht: 0,481 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-11-26T22:35:38+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-11T07:47:06+01:00 (Vienna)
ISBN/EAN: 9783540759386

ISBN - alternative Schreibweisen:
3-540-75938-7, 978-3-540-75938-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stefano, erla, brun, vincenz, mana, agata, manara, his, marra, lang, vincenzo corrado, manar, gerla
Titel des Buches: 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


Daten vom Verlag:

Autor/in: S. Aguzzoli; A. Ciabattoni; B. Gerla; C. Manara; V. Marra
Titel: 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
Verlag: Springer; Springer Berlin
312 Seiten
Erscheinungsjahr: 2007-10-26
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,498 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 312 p.

BC; Artificial Intelligence; 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; Mathematical Logic and Formal Languages; Natural Language Processing (NLP); 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.

< zum Archiv...