- 5 resultaten
laagste prijs: € 111,08, hoogste prijs: € 169,99, gemiddelde prijs: € 129,09
1
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Walter Carnielli Author
bestellen
bij BarnesandNoble.com
€ 169,99
bestellenGesponsorde link

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Walter Carnielli Author - nieuw boek

ISBN: 9781402067815

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 propositi… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
2
Analysis and Synthesis of Logics - Walter Carnielli Marcelo Coniglio Dov M. Gabbay Paula Gouveia Cristina Sernadas
bestellen
bij booklooker.de
€ 136,45
verzending: € 0,001
bestellenGesponsorde link

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

Analysis and Synthesis of Logics - eerste uitgave

2008, ISBN: 9781402067815

gebonden uitgave

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book addressing both composition and dec… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
3
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
£ 97,31
(ongeveer € 111,08)
verzending: € 5,111
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) - gebonden uitgave, pocketboek

2008

ISBN: 9781402067815

Springer, Hardcover, Auflage: 2008, 618 Seiten, Publiziert: 2008-02-04T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 23311647, 2.29 kg, Verkaufsrang: 292968, Mathematical Logic, Mathema… Meer...

Verzendingskosten:In stock. Lieferung von Amazon. (EUR 5.11) Amazon.co.uk
4
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - Carnielli, Walter, Marcelo Coniglio  und Dov M. Gabbay
bestellen
bij booklooker.de
€ 116,13
verzending: € 0,001
bestellenGesponsorde link
Carnielli, Walter, Marcelo Coniglio und Dov M. Gabbay:
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - gebruikt boek

2008, ISBN: 9781402067815

[PU: Springer Netherland], Neubindung, Buchschnitt verkürzt, Ausgabe 2008 4072802/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kreditkarte, PayPal… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - Carnielli, Walter, Marcelo Coniglio  und Dov M. Gabbay
bestellen
bij booklooker.de
€ 111,79
verzending: € 0,001
bestellenGesponsorde link
Carnielli, Walter, Marcelo Coniglio und Dov M. Gabbay:
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems - gebruikt boek

2008, ISBN: 9781402067815

[PU: Springer Netherland], Neubindung, Buchschnitt verkürzt, Ausgabe 2008 4072802/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, PayPal, Klarna-Sofo… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

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 Walter Carnielli Author

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 Walter Carnielli Author


EAN (ISBN-13): 9781402067815
ISBN (ISBN-10): 140206781X
Gebonden uitgave
pocket book
Verschijningsjaar: 2008
Uitgever: Springer Netherlands Core >2 >T
604 Bladzijden
Gewicht: 1,002 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-02-15T07:35:29+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-19T11:08:13+02:00 (Amsterdam)
ISBN/EAN: 140206781X

ISBN - alternatieve schrijfwijzen:
1-4020-6781-X, 978-1-4020-6781-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: marc walter, marcel, crist, serna, gabba, coniglio, gabbay, walter arn, hormann, dov, paul walter, paula becker, walter aue, gouveia, sernada, gabb, carnielli
Titel van het boek: reason analysis, logic, dove water, analysis and synthesis logics how cut and paste reasoning systems, naturwissenschaft geographie, what logics mean, synthesis edition


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: 2008-02-04
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XVI, 602 p.

BB; 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; BC

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...