- 5 resultaten
laagste prijs: € 135,45, hoogste prijs: € 221,06, gemiddelde prijs: € 171,66
1
Analysis and Synthesis of Logics - Walter Carnielli Marcelo Coniglio Dov M. Gabbay Paula Gouveia Cristina Sernadas
bestellen
bij booklooker.de
€ 135,45
verzending: € 0,001
bestellenGesponsorde link
Walter Carnielli Marcelo Coniglio Dov M. Gabbay Paula Gouveia Cristina Sernadas:

Analysis and Synthesis of Logics - eerste uitgave

2010, ISBN: 9789048177257

pocketboek

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book addressing both comp… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
2
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35) - Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M. Gouveia, Paula, Sernadas, Cristina
bestellen
bij amazon.co.uk
£ 129,99
(ongeveer € 148,89)
verzending: € 0,001
bestellenGesponsorde link

Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M. Gouveia, Paula, Sernadas, Cristina:

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35) - pocketboek

2010, ISBN: 9789048177257

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2008, 618 Seiten, Publiziert: 2010-11-22T00:00:01Z, Produktgruppe: Book, 0.86 kg, Mathematical Logic, Mathematical Fou… Meer...

Verzendingskosten:In stock, Lieferung von Amazon. (EUR 0.00) Amazon.co.uk
3
bestellen
bij AbeBooks.co.uk
£ 193,00
(ongeveer € 221,06)
verzending: € 8,001
bestellenGesponsorde link
Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouvei:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35) - pocketboek

2010

ISBN: 9048177251

[EAN: 9789048177257], Used, as new, [SC: 8.0], [PU: Springer], Like New, Books

NOT NEW BOOK. Verzendingskosten: EUR 8.00 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 3 (of 5)]
4
Analysis and Synthesis of Logics - Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas
bestellen
bij lehmanns.de
€ 181,89
verzending: € 0,001
bestellenGesponsorde link
Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas:
Analysis and Synthesis of Logics - pocketboek

2010, ISBN: 9789048177257

How to Cut and Paste Reasoning Systems, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2008, [PU: Springer], Springer, 2010

Verzendingskosten:Lieferbar. (EUR 0.00)
5
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems - Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
bestellen
bij AbeBooks.co.uk
£ 149,31
(ongeveer € 171,02)
verzending: € 13,121
bestellenGesponsorde link
Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina:
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems - pocketboek

2010, ISBN: 9048177251

[EAN: 9789048177257], New book, [SC: 13.12], [PU: Springer], Books

NEW BOOK. Verzendingskosten: EUR 13.12 GreatBookPrices, Columbia, MD, U.S.A. [5352716] [Rating: 5 (of 5)]

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

Gedetalleerde informatie over het boek. - Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)


EAN (ISBN-13): 9789048177257
ISBN (ISBN-10): 9048177251
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
620 Bladzijden
Gewicht: 0,923 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-03-29T00:44:38+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-03T18:01:27+01:00 (Amsterdam)
ISBN/EAN: 9789048177257

ISBN - alternatieve schrijfwijzen:
90-481-7725-1, 978-90-481-7725-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: walter marc, paul walter, gouveia, sernada, carnielli, walter serna, dov gabbay
Titel van het boek: logic, analysis and synthesis logics how cut and paste reasoning systems, what logics mean


Gegevens van de uitgever

Auteur: Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas
Titel: Applied Logic Series; Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
Uitgeverij: Springer; Springer Netherland
602 Bladzijden
Verschijningsjaar: 2010-11-22
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XVI, 602 p.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Argumentation Theory; Combination of logics; Decomposition of logics; Fibring of logics; Network fibring; Preservation of properties; logic; mathematical logic; predicate logic; Mathematical Logic and Foundations; Logic; Formal Languages and Automata Theory; Mathematische Grundlagen; Philosophie: Logik; Theoretische Informatik; BB; EA

Introductory overview.- Splicing logics: Syntactic fibring.- Splicing logics: Semantic fibring.- Heterogeneous fibring.- Fibring non-truth functional logics.- Fibring first-order logics.- Fibring higher-order logics.- Modulated fibring.- Splitting logics.- New trends: Network fibring.- Summing-up and outlook.
First book addressing both composition and decomposition of logics Tool box for combining and decomposing logics in different guises Mathematical approach Several examples in such diverse areas as software specification, knowledge representation, argumentation theory, networks, security protocols and quantum computing Written by internationally leading researchers in the field of pure and applied logic and philosophy

< naar Archief...