Search Results for - Narrowed by: SpringerLink (Online service) - 2019 - Mathematical Logic and Formal Languages.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

2024-06-30T11:29:31Z

Yazar de Haan, Ronald. author.
https://doi.org/10.1007/978-3-662-60670-4
Format: Electronic Resources

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-06-30T11:29:31Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

2024-06-30T11:29:31Z

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

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063
https://doi.org/10.1007/978-3-030-35166-3
Format: Electronic Resources

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

2024-06-30T11:29:31Z

Yazar Tang, Jie. editor.
https://doi.org/10.1007/978-3-030-32236-6
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

2024-06-30T11:29:31Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-030-17935-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-06-30T11:29:31Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
https://doi.org/10.1007/978-3-030-20981-0
Format: Electronic Resources

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

2024-06-30T11:29:31Z

Yazar Rojas, Ignacio. editor.
https://doi.org/10.1007/978-3-030-17938-0
Format: Electronic Resources

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Gopal, T.V. editor.
https://doi.org/10.1007/978-3-030-14812-6
Format: Electronic Resources

Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
https://doi.org/10.1007/978-3-030-14401-2
Format: Electronic Resources

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2024-06-30T11:29:31Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: Electronic Resources

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-06-30T11:29:31Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

2024-06-30T11:29:31Z

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

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655
https://doi.org/10.1007/978-3-030-23182-8
Format: Electronic Resources

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Hospodár, Michal. editor.
https://doi.org/10.1007/978-3-030-23247-4
Format: Electronic Resources

Numerical Methods of Mathematics Implemented in Fortran

2024-06-30T11:29:31Z

Yazar Bose, Sujit Kumar. author.
https://doi.org/10.1007/978-981-13-7114-1
Format: Electronic Resources

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Sun, Xiaoming. editor.
https://doi.org/10.1007/978-981-15-0105-0
Format: Electronic Resources

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Martínez-Villaseñor, Lourdes. editor.
https://doi.org/10.1007/978-3-030-33749-0
Format: Electronic Resources

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946
https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar MacIntyre, John. editor.
https://doi.org/10.1007/978-3-030-19823-7
Format: Electronic Resources

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
https://doi.org/10.1007/978-3-030-30179-8
Format: Electronic Resources

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Bojańczyk, Mikołaj. editor.
https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Ekštein, Kamil. editor.
https://doi.org/10.1007/978-3-030-27947-9
Format: Electronic Resources

Formal Languages and Compilation

2024-06-30T11:29:31Z

Yazar Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: Electronic Resources

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
https://doi.org/10.1007/978-3-030-36599-8
Format: Electronic Resources

Data Integration in the Life Sciences 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings

2024-06-30T11:29:31Z

Yazar Auer, Sören. editor.
https://doi.org/10.1007/978-3-030-06016-9
Format: Electronic Resources

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Chaves, Madalena. editor.
https://doi.org/10.1007/978-3-030-19432-1
Format: Electronic Resources

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Fred, Ana. editor.
https://doi.org/10.1007/978-3-030-15640-4
Format: Electronic Resources

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Manea, Florin. editor.
https://doi.org/10.1007/978-3-030-22996-2
Format: Electronic Resources

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Fullér, Robert. editor.
https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Kotzinos, Dimitris. editor.
https://doi.org/10.1007/978-3-030-30284-9
Format: Electronic Resources

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Sengupta, Anirban. editor.
https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

2024-06-30T11:29:31Z

Yazar Sikos, Jennifer. editor.
https://doi.org/10.1007/978-3-662-59620-3
Format: Electronic Resources

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources

Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Cristea, Diana. editor. (orcid)0000-0003-1440-3786
https://doi.org/10.1007/978-3-030-21462-3
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
https://doi.org/10.1007/978-3-030-31304-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Seki, Hirosato. editor.
https://doi.org/10.1007/978-3-030-14815-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-06-30T11:29:31Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I

2024-06-30T11:29:31Z

Yazar Tang, Jie. editor.
https://doi.org/10.1007/978-3-030-32233-5
Format: Electronic Resources

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-662-60292-8
Format: Electronic Resources

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-13435-8
Format: Electronic Resources

Pattern Recognition 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10–13, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Fink, Gernot A. editor. (orcid)0000-0002-7446-7813
https://doi.org/10.1007/978-3-030-33676-9
Format: Electronic Resources

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Chen, Yu-Fang. editor.
https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Silva, Alexandra. editor.
https://doi.org/10.1007/978-3-662-59565-7
Format: Electronic Resources

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Cai, Zhipeng. editor.
https://doi.org/10.1007/978-3-030-20242-2
Format: Electronic Resources

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Giorgini, Paolo. editor.
https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-06-30T11:29:31Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Bernardi, Raffaella. editor.
https://doi.org/10.1007/978-3-662-59648-7
Format: Electronic Resources

Heyting Algebras Duality Theory

2024-06-30T11:29:31Z

Yazar Esakia, Leo. author.
https://doi.org/10.1007/978-3-030-12096-2
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X
https://doi.org/10.1007/978-3-030-21733-4
Format: Electronic Resources

The Semantic Web: ESWC 2019 Satellite Events ESWC 2019 Satellite Events, Portorož, Slovenia, June 2–6, 2019, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Hitzler, Pascal. editor.
https://doi.org/10.1007/978-3-030-32327-1
Format: Electronic Resources

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Uden, Lorna. editor.
https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Guan, Nan. editor.
https://doi.org/10.1007/978-3-030-35540-1
Format: Electronic Resources

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings.

2024-06-30T11:29:31Z

Yazar Suzuki, Kenji. editor.
https://doi.org/10.1007/978-3-030-33850-3
Format: Electronic Resources

Handbook of Software Engineering

2024-06-30T11:29:31Z

Yazar Cha, Sungdeok. editor.
https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-06-30T11:29:31Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-06-30T11:29:31Z

Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601
https://doi.org/10.1007/978-3-030-31423-1
Format: Electronic Resources

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Zhao, Jun. editor.
https://doi.org/10.1007/978-981-13-3146-6
Format: Electronic Resources

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Hofman, Piotrek. editor.
https://doi.org/10.1007/978-3-030-24886-4
Format: Electronic Resources

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X
https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2024-06-30T11:29:31Z

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

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Cuzzocrea, Alfredo. editor.
https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-06-30T11:29:31Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
https://doi.org/10.1007/978-3-030-32505-3
Format: Electronic Resources

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

2024-06-30T11:29:31Z

Yazar Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
https://doi.org/10.1007/978-3-030-28796-2
Format: Electronic Resources

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I

2024-06-30T11:29:31Z

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

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-06-30T11:29:31Z

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

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-06-30T11:29:31Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472
https://doi.org/10.1007/978-3-030-21348-0
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

2024-06-30T11:29:31Z

Yazar Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774
https://doi.org/10.1007/978-3-030-14160-8
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Cerrito, Serenella. editor.
https://doi.org/10.1007/978-3-030-29026-9
Format: Electronic Resources

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Guizzardi, Giancarlo. editor.
https://doi.org/10.1007/978-3-030-34146-6
Format: Electronic Resources

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-06-30T11:29:31Z

Yazar Iemhoff, Rosalie. editor.
https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources