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

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Moral, Serafín. editor. (orcid)0000-0002-5555-0857
https://doi.org/10.1007/978-3-319-67582-4
Format: Electronic Resources

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Carmona, Josep. editor. (orcid)0000-0001-9656-254X
https://doi.org/10.1007/978-3-319-65000-5
Format: Electronic Resources

The Handbook of Formal Methods in Human-Computer Interaction

2024-06-13T14:47:39Z

Yazar Weyers, Benjamin. editor.
https://doi.org/10.1007/978-3-319-51838-1
Format: Electronic Resources

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-53354-4
Format: Electronic Resources

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2024-06-13T14:47:39Z

Yazar Day, Adam. editor.
https://doi.org/10.1007/978-3-319-50062-1
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Otake, Mihoko. editor.
https://doi.org/10.1007/978-3-319-50953-2
Format: Electronic Resources

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Beck, J. Christopher. editor.
https://doi.org/10.1007/978-3-319-66158-2
Format: Electronic Resources

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Proença, José. editor.
https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

2024-06-13T14:47:39Z

Yazar Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
https://doi.org/10.1007/978-3-319-64468-4
Format: Electronic Resources

Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8–9, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Calì, Andrea. editor.
https://doi.org/10.1007/978-3-319-53640-8
Format: Electronic Resources

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2024-06-13T14:47:39Z

Yazar Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II

2024-06-13T14:47:39Z

Yazar Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
https://doi.org/10.1007/978-3-319-64471-4
Format: Electronic Resources

New Trends in Databases and Information Systems ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Kirikova, Mārīte. editor. (orcid)0000-0002-1678-9523
https://doi.org/10.1007/978-3-319-67162-8
Format: Electronic Resources

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar ten Teije, Annette. editor. (orcid)0000-0002-9771-8822
https://doi.org/10.1007/978-3-319-59758-4
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2024-06-13T14:47:39Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Carayol, Arnaud. editor.
https://doi.org/10.1007/978-3-319-60134-2
Format: Electronic Resources

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2024-06-13T14:47:39Z

Yazar Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Du, Dingzhu. editor.
https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Hung, Dang Van. editor.
https://doi.org/10.1007/978-3-319-67729-3
Format: Electronic Resources

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

2024-06-13T14:47:39Z

Yazar Podnar Žarko, Ivana. editor.
https://doi.org/10.1007/978-3-319-56877-5
Format: Electronic Resources

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Choemprayong, Songphan. editor. (orcid)0000-0003-0770-3748
https://doi.org/10.1007/978-3-319-70232-2
Format: Electronic Resources

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2024-06-13T14:47:39Z

Yazar Ayala-Rincón, Mauricio. author.
https://doi.org/10.1007/978-3-319-51653-0
Format: Electronic Resources

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Weil, Pascal. editor.
https://doi.org/10.1007/978-3-319-58747-9
Format: Electronic Resources

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Dixon, Clare. editor.
https://doi.org/10.1007/978-3-319-66167-4
Format: Electronic Resources

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Strichman, Ofer. editor.
https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Gopal, T.V. editor.
https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Ciuciu, Ioana. editor.
https://doi.org/10.1007/978-3-319-55961-2
Format: Electronic Resources

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Baltag, Alexandru. editor.
https://doi.org/10.1007/978-3-662-55665-8
Format: Electronic Resources

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Charlier, Émilie. editor.
https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Drewes, Frank. editor.
https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar An, Bo. editor. (orcid)0000-0002-7064-7438
https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

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

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: Electronic Resources

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Esparza, Javier. editor.
https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Huisman, Marieke. editor.
https://doi.org/10.1007/978-3-662-54494-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2024-06-13T14:47:39Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Kern-Isberner, Gabriele. editor.
https://doi.org/10.1007/978-3-319-67190-1
Format: Electronic Resources

Provably Correct Systems

2024-06-13T14:47:39Z

Yazar Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2024-06-13T14:47:39Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Hansen, Helle Hvid. editor.
https://doi.org/10.1007/978-3-662-54332-0
Format: Electronic Resources

String Analysis for Software Verification and Security

2024-06-13T14:47:39Z

Yazar Bultan, Tevfik. author.
https://doi.org/10.1007/978-3-319-68670-7
Format: Electronic Resources

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Kari, Jarkko. editor.
https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2024-06-13T14:47:39Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

Controlling Language in Industry Controlled Languages for Technical Documents

2024-06-13T14:47:39Z

Yazar Crabbe, Stephen. author.
https://doi.org/10.1007/978-3-319-52745-1
Format: Electronic Resources

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Everitt, Tom. editor. (orcid)0000-0003-1210-9866
https://doi.org/10.1007/978-3-319-63703-7
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-60225-7
Format: Electronic Resources

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Kennedy, Juliette. editor.
https://doi.org/10.1007/978-3-662-55386-2
Format: Electronic Resources

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Brlek, Srečko. editor.
https://doi.org/10.1007/978-3-319-66396-8
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar James, Phillip. editor.
https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Cussens, James. editor.
https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar de Moura, Leonardo. editor.
https://doi.org/10.1007/978-3-319-63046-5
Format: Electronic Resources

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-06-13T14:47:39Z

Yazar Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X
https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2024-06-13T14:47:39Z

Yazar O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Petrucci, Laure. editor.
https://doi.org/10.1007/978-3-319-67113-0
Format: Electronic Resources

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2024-06-13T14:47:39Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources

Knowledge Engineering and Knowledge Management EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Ciancarini, Paolo. editor.
https://doi.org/10.1007/978-3-319-58694-6
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Balduccini, Marcello. editor.
https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Gracia, Jorge. editor. (orcid)0000-0001-6452-7627
https://doi.org/10.1007/978-3-319-59888-8
Format: Electronic Resources

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2024-06-13T14:47:39Z

Yazar Cunha, Jácome. editor. (orcid)0000-0002-4713-3834
https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

2024-06-13T14:47:39Z

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

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar van der Aalst, Wil. editor.
https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

2024-06-13T14:47:39Z

Yazar Pan, Jeff Z. editor.
https://doi.org/10.1007/978-3-319-49493-7
Format: Electronic Resources

Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X
https://doi.org/10.1007/978-3-319-59569-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Kurahashi, Setsuya. editor.
https://doi.org/10.1007/978-3-319-61572-1
Format: Electronic Resources

Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 – December 1, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Garoufallou, Emmanouel. editor.
https://doi.org/10.1007/978-3-319-70863-8
Format: Electronic Resources

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-319-68690-5
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Höfner, Peter. editor.
https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

2024-06-13T14:47:39Z

Yazar Ianni, Giovambattista. editor. (orcid)0000-0003-0534-6425
https://doi.org/10.1007/978-3-319-61033-7
Format: Electronic Resources

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Costantini, Stefania. editor.
https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources

Introduction to Mathematica® with Applications

2024-06-13T14:47:39Z

Yazar Mureşan, Marian. author.
https://doi.org/10.1007/978-3-319-52003-2
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Blömer, Johannes. editor.
https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources

Semantic Technology 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Wang, Zhe. editor.
https://doi.org/10.1007/978-3-319-70682-5
Format: Electronic Resources

Description Logics in Multimedia Reasoning

2024-06-13T14:47:39Z

Yazar Sikos, Leslie F. author.
https://doi.org/10.1007/978-3-319-54066-5
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Criado Pacheco, Natalia. editor.
https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources

Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Siuly, Siuly. editor.
https://doi.org/10.1007/978-3-319-69182-4
Format: Electronic Resources

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
Format: Electronic Resources

Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Camelin, Nathalie. editor.
https://doi.org/10.1007/978-3-319-68456-7
Format: Electronic Resources

Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Różewski, Przemysław. editor.
https://doi.org/10.1007/978-3-319-69548-8
Format: Electronic Resources

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar de Cesare, Sergio. editor.
https://doi.org/10.1007/978-3-319-70625-2
Format: Electronic Resources

Trends in Artificial Intelligence: PRICAI 2016 Workshops PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Numao, Masayuki. editor.
https://doi.org/10.1007/978-3-319-60675-0
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768
https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources

OWL: Experiences and Directions – Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Dragoni, Mauro. editor.
https://doi.org/10.1007/978-3-319-54627-8
Format: Electronic Resources

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2024-06-13T14:47:39Z

Yazar Bogomolov, Sergiy. editor.
https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

2024-06-13T14:47:39Z

Yazar Schmidt, Renate A. editor.
https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources