Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - 2018

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2024-05-31T14:38:06Z

by Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-05-31T14:38:06Z

by Chiabert, Paolo. editor.
https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-05-31T14:38:06Z

by Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243
https://doi.org/10.1007/978-3-319-78658-2
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2024-05-31T14:38:06Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2024-05-31T14:38:06Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-05-31T14:38:06Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-05-31T14:38:06Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

Nonsymmetric Operads in Combinatorics

2024-05-31T14:38:06Z

by Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2024-05-31T14:38:06Z

by Schlechta, Karl. author.
https://doi.org/10.1007/978-3-319-89653-3
Format: Electronic Resources

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2024-05-31T14:38:06Z

by Li, Lian. editor.
https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources

Logical Foundations of Cyber-Physical Systems

2024-05-31T14:38:06Z

by Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2024-05-31T14:38:06Z

by Medina, Jesús. editor.
https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2024-05-31T14:38:06Z

by Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2024-05-31T14:38:06Z

by Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-05-31T14:38:06Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Kalinichenko, Leonid. editor.
https://doi.org/10.1007/978-3-319-96553-6
Format: Electronic Resources

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2024-05-31T14:38:06Z

by Usman, Muhammad. author.
https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings

2024-05-31T14:38:06Z

by Nguyen, Hung Son. editor.
https://doi.org/10.1007/978-3-319-99368-3
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-05-31T14:38:06Z

by Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-05-31T14:38:06Z

by Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-05-31T14:38:06Z

by Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2024-05-31T14:38:06Z

by Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684
https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2024-05-31T14:38:06Z

by d’Amato, Claudia. editor.
https://doi.org/10.1007/978-3-030-00338-8
Format: Electronic Resources

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

Modeling Companion for Software Practitioners

2024-05-31T14:38:06Z

by Börger, Egon. author.
https://doi.org/10.1007/978-3-662-56641-1
Format: Electronic Resources

The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

2024-05-31T14:38:06Z

by Gangemi, Aldo. editor.
https://doi.org/10.1007/978-3-319-93417-4
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-05-31T14:38:06Z

by Hoshi, Mizuho. editor.
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

An Introduction to the Technique of Formative Processes in Set Theory

2024-05-31T14:38:06Z

by Cantone, Domenico. author.
https://doi.org/10.1007/978-3-319-74778-1
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-05-31T14:38:06Z

by Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2024-05-31T14:38:06Z

by Butler, Michael. editor.
https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-31T14:38:06Z

by Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00668-6
Format: Electronic Resources

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

2024-05-31T14:38:06Z

by Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02840-4
Format: Electronic Resources

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

2024-05-31T14:38:06Z

by Castro, Félix. editor.
https://doi.org/10.1007/978-3-030-02837-4
Format: Electronic Resources

AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

2024-05-31T14:38:06Z

by Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965
https://doi.org/10.1007/978-3-030-03840-3
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-05-31T14:38:06Z

by Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-05-31T14:38:06Z

by Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2024-05-31T14:38:06Z

by Mondal, Anirban. editor.
https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2024-05-31T14:38:06Z

by Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-05-31T14:38:06Z

by Rabe, Florian. editor.
https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Hartmann, Sven. editor.
https://doi.org/10.1007/978-3-319-98812-2
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-05-31T14:38:06Z

by Češka, Milan. editor.
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

2024-05-31T14:38:06Z

by Fleuriot, Jacques. editor.
https://doi.org/10.1007/978-3-319-99957-9
Format: Electronic Resources

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings

2024-05-31T14:38:06Z

by Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168
https://doi.org/10.1007/978-3-319-99722-3
Format: Electronic Resources

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-31T14:38:06Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

2024-05-31T14:38:06Z

by Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947
https://doi.org/10.1007/978-3-319-98572-5
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-05-31T14:38:06Z

by Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-31T14:38:06Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-05-31T14:38:06Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

2024-05-31T14:38:06Z

by Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-02628-8
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-05-31T14:38:06Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-31T14:38:06Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-05-31T14:38:06Z

by Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2024-05-31T14:38:06Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-57784-4
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-05-31T14:38:06Z

by Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-05-31T14:38:06Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-05-31T14:38:06Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-05-31T14:38:06Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2024-05-31T14:38:06Z

by Méndez, Eva. editor. (orcid)0000-0002-5337-4722
https://doi.org/10.1007/978-3-030-00066-0
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-05-31T14:38:06Z

by Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-05-31T14:38:06Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-31T14:38:06Z

by R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-05-31T14:38:06Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-05-31T14:38:06Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-05-31T14:38:06Z

by McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Foret, Annie. editor.
https://doi.org/10.1007/978-3-662-56343-4
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-05-31T14:38:06Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Wu, Yunfang. editor.
https://doi.org/10.1007/978-3-319-73573-3
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources

Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

2024-05-31T14:38:06Z

by Ferrarotti, Flavio. editor.
https://doi.org/10.1007/978-3-319-90050-6
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-05-31T14:38:06Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-05-31T14:38:06Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings

2024-05-31T14:38:06Z

by Ichise, Ryutaro. editor.
https://doi.org/10.1007/978-3-030-04284-4
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-05-31T14:38:06Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2024-05-31T14:38:06Z

by Baetens, Jan M. editor.
https://doi.org/10.1007/978-3-319-92675-9
Format: Electronic Resources

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers

2024-05-31T14:38:06Z

by Vetulani, Zygmunt. editor.
https://doi.org/10.1007/978-3-319-93782-3
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-05-31T14:38:06Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-31T14:38:06Z

by Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-05-31T14:38:06Z

by Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-05-31T14:38:06Z

by Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Modelling and Verification of Secure Exams

2024-05-31T14:38:06Z

by Giustolisi, Rosario. author.
https://doi.org/10.1007/978-3-319-67107-9
Format: Electronic Resources

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

2024-05-31T14:38:06Z

by Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294
https://doi.org/10.1007/978-3-030-00671-6
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Garrigós, Irene. editor.
https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources

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

2024-05-31T14:38:06Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

2024-05-31T14:38:06Z

by Arai, Sachiyo. editor.
https://doi.org/10.1007/978-3-319-93794-6
Format: Electronic Resources