Boudarel, R. (René), Delmas, J. (Jacques H.), Guichet, P. (Pierre), McDonough, Robert N.
Academic Press
|
Warren, David H. D., Van Caneghem, Michel
Ablex Publishing
|
International Joint Conference on Neural Networks
Lawrence Erlbaum Associates, Pub.
|
Bradley, Aaron R., Manna, Zohar
Springer
|
VANSTONE, SCOTT A., VAN OORSCHOT, PAUL C.
KLUWER ACADMEIC PUB.
|
International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael
Springer
|
Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of …
IEEE Computer Society Press
|
Fuji International Symposium on Functional and Logic Programming, Middeldorp, Aart, 1963-, 佐藤, 泰介
Springer
|
European Symposium on Programming, Smolka, Gert
Springer
|
Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy
Springer
|
European Symposium on Programming, Le Métayer, D. (Daniel), European Conferences on Theory and Practice of Software
Springer
|
International Conference on Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José Nuno
Springer
|