Hansen, Eldon R.
M. Dekker
|
International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. …
Springer-Verlag
|
Hansen, Eldon R., Walster, G. William, 1941-
M. Dekker
|
International Computing Symposium, Günther, Alfred, 1921-, Levrat, Bernard, 1936-, Lipps, H., Association for Computing …
North-Holland Pub. Co., American Elsevier
|
International Symposium on Interval Mathematics, Nickel, Karl, 1924-
Academic Press
|
Programming Symposium, Robinet, Bernard, 1941-
Springer-Verlag
|
International Symposium on Interval Mathematics, Nickel, Karl, 1924-
Springer-Verlag
|
ACM Symposium on Theory of Computing, ACM Special Interest Group for Automata and Computability Theory, IEEE Computer …
ACM
|
International Symposium on Interval Mathematics, Nickel, Karl, 1924-
Springer-Verlag
|
ACM Symposium on Theory of Computing, ACM Special Interest Group for Automata and Computability Theory, IEEE Computer …
ACM
|
International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse
Springer
|
ACM Symposium on Theory of Computing, ACM Special Interest Group for Automata and Computability Theory
ACM
|