International Conference on Rewriting Techniques and Applications, Kirchner, Claude
Springer-Verlag
|
Workshop on Agent Theories, Architectures, and Languages, International Joint Conference on Artificial Intelligence, …
Springer-Verlag
|
Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …
IEEE Computer Society Press
|
CAV (Conference), Bochmann, Gregor Von., 1941-, Probst, David Karl
Springer-Verlag
|
Symposium on Combinatorial Pattern Matching, Giancarlo, Raffaele, Sankoff, David
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …
Springer-Verlag
|
Conference on Integer Programming and Combinatorial Optimization, Cunningham, William H., McCormick, S. Thomas, …
Springer
|
European Conference on Computers in Education, IFIP Technical Committee 3, Education, Lovis, F. B. (Frank B.), Tagg, E. …
North-Holland
|
SIGPLAN Conference on Programming Language Design and Implementation, ACM Special Interest Group in Programming …
ACM Press
|
IFIP TC-3 Working Conference on Mathematics and Informatics in secondary Schools, Impacts and Relationships, Johnson, D. …
North-Holland Pub. Co.,, sole distributors for the U.S.A. and Canada Elsevier-North-Holland
|
International Conference on Theory and Applications of Satisfiability Testing, Bacchus, Fahiem, Walsh, Toby
Springer
|
International Symposium on Functional Programming Languages in Education, Hartel, Pieter H., Plasmeijer, Rinus
Springer
|