Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 21,38
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por College Publications 4/2/2019, 2019
ISBN 10: 1848901682 ISBN 13: 9781848901681
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 23,73
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Logics of Proofs and Justifications. Book.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 20,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 22,77
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 25,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por College Publications 2019-04, 2019
ISBN 10: 1848901682 ISBN 13: 9781848901681
Librería: Chiron Media, Wallingford, Reino Unido
EUR 19,58
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 24,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 22,55
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
EUR 25,85
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 22,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 173,60
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: preigu, Osnabrück, Alemania
EUR 149,00
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Structural Information and Communication Complexity | 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings | Ulrich Schmid (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2025 | Springer | EAN 9783031917356 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 222,58
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 26,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: Revaluation Books, Exeter, Reino Unido
EUR 249,03
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 473 pages. 9.26x6.11x9.21 inches. In Stock.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 264,31
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 23,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 31,76
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 246.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 37,50
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 246.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 32,24
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 246.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 26,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Librería: moluna, Greven, Alemania
EUR 29,29
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnJustification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 32,38
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem.Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
Librería: preigu, Osnabrück, Alemania
EUR 29,55
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Logics of Proofs and Justifications | Roman Kuznets (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2019 | College Publications | EAN 9781848901681 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 134,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: moluna, Greven, Alemania
EUR 144,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Idioma: Inglés
Publicado por Springer, Springer Mai 2025, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 171,19
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities. 476 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: CitiRetail, Stevenage, Reino Unido
EUR 175,72
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities. This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Idioma: Inglés
Publicado por Springer, Springer Mai 2025, 2025
ISBN 10: 3031917359 ISBN 13: 9783031917356
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 171,19
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full papers and 4 brief announcements included in the proceedings were carefully reviewed and selected from a total of 57 submissions. They focus on innovative methodological and solution approaches in structural knowledge, communication, and computing in decentralized systems of multiple comunicating entities.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch.