Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
Title: Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings / Edition 1, Author: Jean-Pierre Jouannaud
Title: Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Author: Amund Skavhaug
Title: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / Edition 1, Author: Dexter Kozen
Title: Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / Edition 1, Author: José Nelson Amaral
Title: Simulated Evolution and Learning: First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / Edition 1, Author: Xin Yao
Title: Algorithms and Data Structures: 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings / Edition 1, Author: Frank Dehne
Title: Evolutionary Computing: AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers / Edition 1, Author: Terence C. Fogarty
Title: Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings, Author: Michal Hospodár
Title: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, Author: Kamel Barkaoui
Title: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1, Author: Enrico Giunchiglia
Title: Discrete Optimization and Operations Research: 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings, Author: Yury Kochetov
Title: Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / Edition 1, Author: Gerard Comyn
Title: Algorithms and Models for the Web Graph: 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings, Author: David F. Gleich
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Combinatorial Optimization and Applications: 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings, Author: Yingshu Li
Title: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computa / Edition 1, Author: Chandra Chekuri
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / Edition 1, Author: Chitta Baral
Title: Numerical Methods and Applications: 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers, Author: Geno Nikolov

Pagination Links