Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 70,75
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 68,53
Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 75,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: NEW.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 83,92
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2022.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 68,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 69,39
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 75,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 77,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 82,41
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
EUR 61,94
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
Condizione: New.
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030930998 ISBN 13: 9783030930998
Da: moluna, Greven, Germania
EUR 78,56
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: preigu, Osnabrück, Germania
EUR 72,75
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 80,24
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Da: Rarewaves.com UK, London, Regno Unito
EUR 78,58
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2022.
Da: Buchpark, Trebbin, Germania
EUR 61,61
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 66,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Revaluation Books, Exeter, Regno Unito
EUR 85,76
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 375 pages. 9.00x6.00x1.00 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Springer International Publishing Dez 2021, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 80,24
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 114,92
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 115,54
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: Springer, Springer Dez 2021, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 80,24
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.