Skip to main content Skip to footer content

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Sergei Artemov Edited by Anil Nerode

Dec 17, 2021

$124.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 623 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

377

Theoretical Computer Science and General Issues

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030930998

Logical Foundations Of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, Usa, January 8-11, 2018, Proceedings

Sergei Artemov Paperback
$80.50
2 formats available
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Paperback
$72.95
2 formats available
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Paperback
$131.50
2 formats available
Icgg 2018 - Proceedings Of The 18th International Conference On Geometry And Graphics: 40th Anniversary - Milan, Italy, August 3-7, 2018

Luigi Cocchiarella Paperback
$948.95
2 formats available
Abstract State Machines, Alloy, B, Tla, Vdm, And Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings

Michael Butler Paperback
$80.50
2 formats available
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Paperback
$94.95
2 formats available
Set Theory and its Applications: Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Paperback
$90.95
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Paperback
$142.95
Number Theory Day: Proceedings of the Conference Held at Rockefeller University, New York, 1976

Paperback
$59.95
Mathematical Finance: Workshop of the Mathematical Finance Research Project, Konstanz, Germany, October 5-7, 2000

Michael Kohlmann Paperback
$248.50
2 formats available
Number Theory: Proceedings of the Third Matscience Conference Held at Mysore, India, June 3-6, 1981

Paperback
$51.95
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Paperback
$80.50
2 formats available
Numerical Analysis: Proceedings of the 8th Biennial Conference Held at Dundee, Scotland, June 26-29, 1979

Paperback
$51.95
Computers and Games: 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers

H. Jaap van den Herik Hardcover
$80.50
Finite Fields and Applications: Proceedings of The Fifth International Conference on Finite Fields and Applications Fq 5, held at the University of Augsburg, Germany, August 2-6, 1999

Dieter Jungnickel Paperback
$248.50
2 formats available
Geometry of Banach Spaces: Proceedings of the Conference Held in Strobl, Austria 1989

Paperback
$68.95
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Didier Galmiche Paperback
$80.50
2 formats available
Logics for AI and Law. Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou

Paperback
$33.50
Abelian Group Theory: Proceedings of the Conference Held at the University of Hawaii, Honolulu, Usa, December 28, 1982 - January 4, 1983

Paperback
$76.95
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Paperback
$116.95
2 formats available

Editorial reviews

anil nerode

Author

Logical Foundations Of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, Usa, January 8-11, 2018, Proceedings

Sergei Artemov Paperback
$80.50
2 formats available
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov Paperback
$80.50
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$116.95
2 formats available
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Paperback
$94.95
2 formats available
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Paperback
$65.95
2 formats available
Logic, Rationality, And Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

Patrick Blackburn Paperback
$80.50
2 formats available
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Paperback
$102.50
2 formats available
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret Paperback
$80.50
2 formats available
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Paperback
$116.95
2 formats available
Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke Paperback
$80.50
2 formats available
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Paperback
$80.50
2 formats available
Formal Grammar: 24th International Conference, Fg 2019, Riga, Latvia, August 11, 2019, Proceedings

Raffaella Bernardi Paperback
$80.50
2 formats available
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Paperback
$80.50
2 formats available
Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Paperback
$80.50
2 formats available
Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff Paperback
$80.50
2 formats available
General Inequalities 7: 7th International Conference at Oberwolfach, November 13-18, 1995

Catherine Bandle Paperback
$160.95
2 formats available
Logic, Language, Information, And Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lawrence S. Moss Paperback
$109.50
2 formats available
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Paperback
$94.95
2 formats available
Formal Methods Teaching: 4th International Workshop And Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

João F. Ferreira Paperback
$87.95
2 formats available
Research in Computer Science: 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

Paulin Melatagia Yonta Paperback
$94.95
2 formats available