Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 70,04
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 72,39
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
EUR 68,27
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,93
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Speedyhen LLC, Hialeah, FL, Estados Unidos de America
EUR 77,86
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: NEW.
Idioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 83,29
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 2022.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 68,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 69,12
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 74,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 76,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 82,41
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 106,19
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
EUR 61,70
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: NEW.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 103,77
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030930998 ISBN 13: 9783030930998
Librería: moluna, Greven, Alemania
EUR 78,56
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 3.
Librería: preigu, Osnabrück, Alemania
EUR 72,75
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Logical Foundations of Computer Science | International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings | Sergei Artemov (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2021 | Springer | EAN 9783030930998 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 80,24
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 International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
Idioma: Inglés
Publicado por Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Librería: Rarewaves.com UK, London, Reino Unido
EUR 78,28
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 2022.
Librería: Buchpark, Trebbin, Alemania
EUR 61,61
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 66,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 85,43
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 375 pages. 9.00x6.00x1.00 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Publicado por Springer International Publishing Dez 2021, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 80,24
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 International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. 388 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 105,68
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 107,52
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Springer, Springer Dez 2021, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 80,24
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 International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch.