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...
booklooker.de |
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...
amazon.co.uk |
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
AbeBooks.co.uk Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 3 (of 5)] NOT NEW BOOK. Verzendingskosten: EUR 8.00 Details... |
2010, ISBN: 9789048177257
How to Cut and Paste Reasoning Systems, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2008, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten:Lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9048177251
[EAN: 9789048177257], New book, [SC: 13.12], [PU: Springer], Books
AbeBooks.co.uk GreatBookPrices, Columbia, MD, U.S.A. [5352716] [Rating: 5 (of 5)] NEW BOOK. Verzendingskosten: EUR 13.12 Details... |
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...
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) - pocketboek2010, 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...
2010, ISBN: 9789048177257
How to Cut and Paste Reasoning Systems, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2008, [PU: Springer], Springer, 2010
2010, ISBN: 9048177251
[EAN: 9789048177257], New book, [SC: 13.12], [PU: Springer], Books
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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: 9048177251
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781402067822 Analysis and Synthesis of Logics (Cristina Sernadas/ Dov M. Gabbay/ Marcelo Coniglio/ Paula Gouveia/ Walter Carnielli)
- 9781402067822 Analysis and Synthesis of Logics (Cristina Sernadas/ Dov M. Gabbay/ Marcelo Coniglio/ Paula Gouveia/ Walter Carnielli)
- 9789048116089 Analysis and Synthesis of Logics (Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.)
- 9781402067815 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Walter Carnielli Author (Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M. Gouveia, Paula, Sernadas, Cristina)
- Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. In: Applied Logic Series. Volume 35. (Mathematik, Englische Titel, Varia - Carnielli, Walter, Marcelo Coniglio und Dov M. Gabbay u.a. (Hrsg.))
< naar Archief...