Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer International Publishing, 2017
ISBN 10: 3319720554ISBN 13: 9783319720555
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 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 andcombinatory 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; and other logics in computer science.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 58,10
Verlag: Springer-Verlag, Berlin, 1989
ISBN 10: 3540512373ISBN 13: 9783540512370
Anbieter: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Vereinigtes Königreich
Buch
paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 363; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine foot; faintly bumped spine head and rubbed corners/edges. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with strong binding and bright text. ADG. Ex-Library.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 8,06
Mehr entdecken Softcover
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 3540557075ISBN 13: 9783540557074
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Buch
Softcover. 1992. IX, 514 S. : graph. Darst. Edition 1992, 514 p.! Unread book. Very good condition. Slight traces of storage. 9783540557074 Sprache: Englisch Gewicht in Gramm: 1000.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 19,90
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1997
ISBN 10: 3540630457ISBN 13: 9783540630456
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.
Verlag: Springer Berlin, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 2009. Neubindung, Buchrücken leicht angestossen 4919571/12.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 58,10
Gebraucht ab EUR 42,79
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2015
ISBN 10: 3319276824ISBN 13: 9783319276823
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.The 27 revised full paperswere carefully reviewed and selected from 46 submissions.The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory 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 gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030367541ISBN 13: 9783030367541
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 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.
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642357210ISBN 13: 9783642357213
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational 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 logic; 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; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540727329ISBN 13: 9783540727323
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540581405ISBN 13: 9783540581406
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.
Verlag: Springer International Publishing, 2021
ISBN 10: 3030930998ISBN 13: 9783030930998
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: 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.