Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
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, 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 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, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
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 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, 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 and 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, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.
Verlag: Birkhäuser Boston, 2012
ISBN 10: 1461266459ISBN 13: 9781461266457
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on representable events, of Myhill and Nerode on finite coset congruence relations on strings, of Rabin and Scott on power set automata. In the 1960s, there was the work of Btichi on automata on infinite strings and the second order theory of one successor, then Rabin's 1968 result on automata on infinite trees and the second order theory of two successors. The latter was a mystery until the introduction of forgetful determinacy games by Gurevich and Harrington in 1982. Each of these developments has successful and prospective applications in computer science. They should all be part of every computer scientist's toolbox. Suppose that we take a computer scientist's point of view. One can think of finite automata as the mathematical representation of programs that run us ing fixed finite resources. Then Btichi's SIS can be thought of as a theory of programs which run forever (like operating systems or banking systems) and are deterministic. Finally, Rabin's S2S is a theory of programs which run forever and are nondeterministic. Indeed many questions of verification can be decided in the decidable theories of these automata.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Verlag: Springer, 2008
ISBN 10: 3540632557ISBN 13: 9783540632559
Anbieter: getbooks GmbH, Bad Camberg, HE, Deutschland
Buch
Taschenbuch. Zustand: Gut. 472 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822508.01 Sprache: Englisch Gewicht in Gramm: 612.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 44,18
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 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.
Verlag: Springer Verlag, 1993
ISBN 10: 0387573186ISBN 13: 9780387573182
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Salissures sur la tranche. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de ce livre à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Soiling on the side. Edition 1993. Ammareal gives back up to 15% of this book's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 7,74
Verlag: Springer, 1974
ISBN 10: 0387064281ISBN 13: 9780387064284
Anbieter: Better World Books, Mishawaka, IN, USA
Buch Erstausgabe
Zustand: Good. 1st. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Springer, ., 1993, , 365, Hardcover (gebunden), 8°, ohne Schutzumschlag, , Bibliotheksexemplar, Einband: minimal bestoßen, minimal fleckig,
Verlag: Royal Society Te Aparangi 2023-01-17, Berlin, 2023
ISBN 10: 3031116151ISBN 13: 9783031116155
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 60,08
Verlag: Birkhäuser 08.06.2001., 2001
ISBN 10: 0817642072ISBN 13: 9780817642075
Anbieter: Versand-Antiquariat Konrad von Agris e.K., Aachen, Deutschland
Buch
Zustand: Sehr gut. Auflage: 2001. XIV/430 Seiten Ausgetragenes Bibliotheksexemplar, Deckel mit leichten Gebrauchsspuren, seitlicher Schnitt mit Kulistrich ISBN: 9780817642075 . Als Versandart wählen wir immer eine schnelle Option (in Deutschland Brief oder DHL-Paket, ins Ausland Warenpost oder DHL-Paket). Preis inkl. MwSt. Sprache: Englisch Gewicht in Gramm: 785 8° 15,6 x 2,5 x 23,4 cm, Gebundene Ausgabe.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 50,48
Gebraucht ab EUR 57,80
Mehr entdecken Hardcover
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.
Anbieter: Fahrenheit 451 Antiquarian Booksellers, Leiden, Niederlande
Erstausgabe
Berlin/ Heidelberg/ New York, Springer-Verlag, 1974, 1st ed., VIII,146,(2) pag., original yellow cloth. = Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 81.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verlag: Berlin ; Heidelberg ; Singapore ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1995
ISBN 10: 3540604723ISBN 13: 9783540604723
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
kart. Zustand: Gut. 1995. VIII, 567 S. : graph. Darst. Sprache: Deutsch Gewicht in Gramm: 1800.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 6,70
Verlag: Springer New York, 1997
ISBN 10: 0387948937ISBN 13: 9780387948935
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. 2. Auflage. Außen: verschmutzt. | Seiten: 476 | Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 124,20
Gebraucht ab EUR 38,03
Mehr entdecken Hardcover
Verlag: Springer New York, 2012
ISBN 10: 1461268559ISBN 13: 9781461268550
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Basel ; Boston ; Berlin : Birkhäuser, 2001
ISBN 10: 3764342072ISBN 13: 9783764342074
Anbieter: Versand-Antiquariat Konrad von Agris e.K., Aachen, Deutschland
Buch
8° gebundene Ausgabe. Zustand: Sehr gut. XIV, 430 S. : graph. Darst. ; 24 cm Ausgetragenes Bibliotheksexemplar, ISBN: 9783764342074 . Als Versandart wählen wir immer eine schnelle Option (in Deutschland Brief oder DHL-Paket, ins Ausland Warenpost oder DHL-Paket). Preis inkl. MwSt. Sprache: Englisch Gewicht in Gramm: 854.
Verlag: Mit Pr, 1991
ISBN 10: 0262640279ISBN 13: 9780262640275
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Buch
Zustand: as new. Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. English text. Condition : as new. Condition : as new copy. ISBN 9780262640275. Keywords : , Logic programming.