Articoli correlati a Logic, Language, Information, and Computation: 31st...
Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings: 15942 - Brossura
Sinossi
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.
The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logic, Language, Information, and Computation: 31st...
Foto dell'editore
Logic, Language, Information, and Computation (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo LCISCSRTEV
Compra nuovo
EUR 59,03
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic, Language, Information, and Computation
Editore:
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 303199535X
ISBN 13: 9783031995354
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. 369 pp. Englisch. Codice articolo 9783031995354
Compra nuovo
EUR 70,61
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Logic, Language, Information, and Computation
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 2473707374
Compra nuovo
EUR 62,42
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic, Language, Information and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 1417, 2025, Proceedings
Editore:
Springer-Nature New York Inc, 2025
ISBN 10: 303199535X
ISBN 13: 9783031995354
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 300 pages. 9.25x6.10x9.21 inches. In Stock. Codice articolo x-303199535X
Compra nuovo
EUR 108,35
Spedizione EUR 14,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic, Language, Information, and Computation (Paperback)
Editore:
Springer International Publishing AG, Cham, 2025
ISBN 10: 303199535X
ISBN 13: 9783031995354
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783031995354
Compra nuovo
EUR 86,47
Spedizione EUR 43,15
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Language, Information, and Computation
Editore:
Springer, Springer Aug 2025, 2025
ISBN 10: 303199535X
ISBN 13: 9783031995354
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -.- Deep Induction for Inductive Families.- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables.- Logics of Importation and Exportation for the Implicative Conditional.- Paraconsistent Constructive Modal Logic.- . Convergence laws for expansions of linear preorders.- Indicative conditionals: algebraic considerations.- Abstracting Conceptual Models as a Weakening Process.- . Axiomatization and Decidability of Tense Information Logic.- Infinitary Refinement Types for Temporal Properties in Scott Domains.- On tame semantics for interpretability logic.- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.- Insensitive Games: Game Semantics for Modal Insensitivity.- . Index set complexity for congruence lattices of lattices.- The Satisfiability Problem in a Separation Logic of Relations.- Graded Relation Updates in Modal Logic.- Proof Search in Classical Propositional Logic with Partial Proof Terms.- A significance-based account of ceteris paribus counterfactuals.- Tabular intermediate logics comparison.- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME.- Counterexamples to Import-Export in Conditionals: A Logical Analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 384 pp. Englisch. Codice articolo 9783031995354
Compra nuovo
EUR 70,61
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic. Codice articolo 9783031995354
Compra nuovo
EUR 102,11
Spedizione EUR 30,50
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic, Language, Information, and Computation | 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Logic, Language, Information, and Computation | 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings | Dexter Kozen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9783031995354 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 133766983
Compra nuovo
EUR 64,80
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili