Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
by 
Cariani, Fabrizio. editor.
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Excerpt: 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July
2. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
by 
Agotnes, Thomas. editor.
https://doi.org/10.1007/978-3-642-31570-1
Format: 
Excerpt: 
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16
3. 
Cover image for Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
by 
Melin, Patricia. editor.
https://doi.org/10.1007/978-3-540-72950-1
Format: 
Excerpt: 
Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World
4. 
Cover image for Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
by 
Chen-Burger, Yun-Heh. author.
https://doi.org/10.1007/b138799
Format: 
Excerpt: 
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support
5. 
Cover image for Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
by 
Majkić, Zoran. author.
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
by 
Morgenstern, Leora. editor.
https://doi.org/10.1007/978-3-642-39617-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
by 
Cortellessa, Vittorio. editor.
https://doi.org/10.1007/978-3-642-37057-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings
by 
Daniel, Florian. editor.
https://doi.org/10.1007/978-3-642-40176-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
by 
Stoelinga, Mariëlle. editor.
https://doi.org/10.1007/978-3-642-32469-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings
by 
Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108
https://doi.org/10.1007/978-3-642-23059-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Process Mining Discovery, Conformance and Enhancement of Business Processes
Process Mining Discovery, Conformance and Enhancement of Business Processes
by 
van der Aalst, Wil M. P. author.
https://doi.org/10.1007/978-3-642-19345-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings
Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings
by 
Stuckey, Peter J. editor.
https://doi.org/10.1007/978-3-540-85958-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.