Taschenbuch. Zustand: 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 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. 300 pp. Englisch. Bestandsnummer des Verk�ufers 9783030367541

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: EUR 23,00

Von Deutschland nach USA

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings (Theoretical Computer Science and General Issues)

Verlag: Springer, 2019

ISBN 10: 3030367541 ISBN 13: 9783030367541

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In. Bestandsnummer des Verk�ufers ria9783030367541_new

Verk�ufer kontaktieren

Neu kaufen

EUR 62,25

W�hrung umrechnen

Versand: EUR 14,25

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

Artemov, Sergei

Verlag: Springer 2019-12, 2019

ISBN 10: 3030367541 ISBN 13: 9783030367541

Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

PF. Zustand: New. Bestandsnummer des Verk�ufers 6666-IUK-9783030367541

Verk�ufer kontaktieren

Neu kaufen

EUR 59,11

W�hrung umrechnen

Versand: EUR 18,42

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: 10 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4�7, 2020, Proceedings

Anil Nerode

Verlag: Springer International Publishing, Springer International Publishing, 2019

ISBN 10: 3030367541 ISBN 13: 9783030367541

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

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. Bestandsnummer des Verk�ufers 9783030367541

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: EUR 30,28

Von Deutschland nach USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Logical Foundations of Computer Science: International Symposium, Lfcs 2020, Deerfield Beach, Fl, USA, January 47, 2020, Proceedings

Artemov, Sergei (Editor)/ Nerode, Anil (Editor)

Verlag: Springer Verlag, 2020

ISBN 10: 3030367541 ISBN 13: 9783030367541

Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Brand New. 300 pages. 9.25x6.10x0.75 inches. In Stock. Bestandsnummer des Verk�ufers x-3030367541

Verk�ufer kontaktieren

Neu kaufen

EUR 82,26

W�hrung umrechnen

Versand: EUR 11,89

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Logical Foundations of Computer Science

Artemov, Sergei|Nerode, Anil

Verlag: Springer International Publishing, 2019

ISBN 10: 3030367541 ISBN 13: 9783030367541

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 s. Bestandsnummer des Verk�ufers 385699977

Verk�ufer kontaktieren