Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for …
Springer
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J
Springer-Verlag
|
DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent
Springer
|
Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual …
M. Dekker
|
International Workshop on Frontiers of Combining Systems, Armando, Alessandro
Springer-Verlag
|
Conference in Mathematical Logic, Hodges, Wilfrid
Springer-Verlag
|
Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr …
Plenum Press
|
International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898-
North-Holland Publishing Co.
|
JELIA, Eijck, J. van (Jan)
Springer-Verlag
|
篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications
Springer-Verlag
|
International Congress of Logic, Methodology and Philosophy of Science, Butts, Robert E., Hintikka, Jaakko, 1929-
D. Reidel
|
Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, …
American Mathematical Society
|