Cargando…

Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Artemov, Sergei, Nerode, Anil
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761446

Ejemplares similares

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Proceedings of the Fifteenth International Society of Sports Nutrition (ISSN) Conference and Expo: Clearwater Beach, FL, USA. 7-9 June 2018
Publicado: (2018)

Anthelmintics – From Discovery to Resistance III (Indian Rocks Beach, FL, 2018)
por: Wolstenholme, Adrian J., et al.
Publicado: (2018)

Post-quantum cryptography: 9th international conference, PQCRYPTO 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, proceedings
por: Lange, Tanja, et al.
Publicado: (2018)

Functional and logic programming: 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, proceedings
por: Gallagher, John P, et al.
Publicado: (2018)

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

Proceedings of the Thirteenth International Society of Sports Nutrition (ISSN) Conference and Expo: Clearwater Beach, FL, USA. 9-11 June 2016
por: Ramaswamy, Lalitha, et al.
Publicado: (2016)

Proceedings of the Seventeenth International Society of Sports Nutrition (ISSN) Conference and Expo: Daytona Beach, FL, USA. 11-12 September 2020
Publicado: (2020)

Foundations of information and knowledge systems: 10th international symposium, FOIKS 2018, Budapest, Hungary, May 14-18, 2018, proceedings
por: Ferrarotti, Flavio, et al.
Publicado: (2018)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

Advances in visual computing: 13th international symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, proceedings
por: Bebis, George, et al.
Publicado: (2018)

Pervasive computing paradigms for mental health: 7th international conference, MindCare 2018, Boston, MA, USA, January 9-10, 2018, proceedings
por: Cipresso, Pietro, et al.
Publicado: (2018)

Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
por: Dillig, Isil, et al.
Publicado: (2018)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

Meeting report: Part III. Notes from the 20th Annual Clinical Virology Symposium, April 25–28, 2004, Clearwater Beach, FL, USA
por: Hess, Ralf D., et al.
Publicado: (2005)

January – December 2018: Reviewer List - 2018
Publicado: (2018)

Foundations of computer science: the 2018 WorldComp international conference proceedings
por: Arabnia, Hamid R, et al.
Publicado: (2019)

Multimedia modeling: 22nd international conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, proceedings, part II
por: Tian, Qi, et al.
Publicado: (2016)

Multimedia modeling: 22nd international conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, proceedings, part I
por: Tian, Qi, et al.
Publicado: (2016)

Software quality: 10th international conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2017)

Brain informatics: international conference, BI 2018, Arlington, TX, USA, December 7-9, 2018, proceedings
por: Wang, Shouyi, et al.
Publicado: (2018)

Rule representation, interchange and reasoning on the web: international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 proceedings
por: Bassiliades, Nick, et al.
Publicado: (2008)

Topics in cryptology - CT-RSA 2018: the cryptographers' track at the RSA conference 2018, San Francisco, CA, USA, April 16-20, 2018, proceedings
por: Smart, Nigel P
Publicado: (2018)

Modelling foundations and applications: 14th European conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, proceedings
por: Pierantonio, Alfonso, et al.
Publicado: (2018)

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

Intelligent computing systems: second international symposium, ISICS 2018, Merida, Mexico, March 21-23, 2018, proceedings
por: Brito-Loeza, Carlos, et al.
Publicado: (2018)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Proceedings of elm 2018
por: Cao, Jiuwen, et al.
Publicado: (2019)

ISMB 2018 proceedings
por: Bromberg, Yana, et al.
Publicado: (2018)

Proceedings of the 3rd international symposium of information and internet technology (SYMINTECH 2018)
por: Othman, Mohd Azlishah, et al.
Publicado: (2019)

Salary Scale 1 January 2018
por: Stappers, Sara
Publicado: (2018)

Mathematical software - ICMS 2018: 6th international conference, South Bend, IN, USA, July 24-27, 2018, proceedings
por: Davenport, James H, et al.
Publicado: (2018)

Phenomenology 2018 Symposium
Publicado: (2018)

Advances in neural networks - ISNN 2018: 15th international symposium on neural networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, proceedings
por: Huang, Tingwen, et al.
Publicado: (2018)

Justification logic: reasoning with reasons
por: Artemov, Sergei, et al.
Publicado: (2019)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Knowledge and systems sciences: 19th international symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, proceedings
por: Chen, Jian, et al.
Publicado: (2018)

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Beyersdorff, Olaf, et al.
Publicado: (2018)

Software reuse for dynamic systems in the cloud and beyond: 14th international conference on software reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 proceedings
por: Schaefer, Ina, et al.
Publicado: (2014)

Combinatorial optimization and applications: 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, proceedings
por: Kim, Donghyun, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_jlobsslamnc34p2gh2u0t4lfvj