Abstract

Advances in operations research: Marc Roubens, ed., Proceedings of EURO II — The Second European Congress on Operations Research, Stockholm, 29 November–1 December 1976, North-Holland Publishing Company, Amsterdam xxxvi + 667 pages, Dfl. 145.00

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Advances in operations research : M. Roubens (Editor) Proceedings of the EURO II; the second European congress on Operations research, Stockholm, 1976, November 29, December 1, 667 pages, 1977, Dfl. 145.00. North Holland Publishing Company, Amsterdam and New York
-
Mathematics and Computers in Simulation | VOL. 20
--
01 Sep 1978
Recent Advances in Operations Research in Computational Biology, Bioinformatics and Medicine
Giovanni Felici ... Piotr Lukasiak
RAIRO - Operations Research | VOL. 50
Giovanni Felici, et. al.Giovanni Felici ... Piotr Lukasiak
24 Mar 2016
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 105–106, 569. - L. E. J. Brouwer. The unreliability of the logical principles. English translation of 1552, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 107–111, 569–570. - L. E. J. Brouwer. From the review of: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik (Haarlem 1909). Partial English translation of 1555. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 121–122. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 123–138, 570–571. - L. E. J. Brouwer. Review of Schoenflies's Entwickelung der Mengenlehre und ihrer Anwendungen (1305). A reprint of 1558, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 139–144, 571–572. - L. E. J. Brouwer. Addenda and corrigenda to ‘On the foundations of mathematics.’Entwickelung der Mengenlehre und ihrer Anwendungen English translation of 1559, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 145–149, 572.
Joan Rand Moschovakis
Journal of Symbolic Logic | VOL. 44
Joan Rand MoschovakisJoan Rand Moschovakis
01 Jun 1979
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 32–39. - Jaakko Hintikka and Veikko Rantala. Systematizing definability theory. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 40–62. - Herman Ruge Jervell. Conservative endextensions and the quantifier ‘there exist uncountably many.’Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 63–80. - Per Martin-Löf. About models for intuitionistic type theories and the notion of definitional equality. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 81–109. - Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 110–143. - Arto Salomaa. On some decidability problems concerning developmental languages. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 144–153.
S. K. Thomason
Journal of Symbolic Logic | VOL. 43
S. K. ThomasonS. K. Thomason
01 Jun 1978
View more papers

More From: European Journal of Operational Research

Paper Title
Journal
Date
Author
A data-driven distributionally robust optimization approach for the core acquisition problem
Cheng-Hu Yang ... Srinivas Talluri
European Journal of Operational Research | VOL. -
Cheng-Hu Yang, et. al.Cheng-Hu Yang ... Srinivas Talluri
01 May 2024
Combinatorial Benders decomposition for single machine scheduling in additive manufacturing with two-dimensional packing constraints
Zhaofang Mao ... Lin Chen
European Journal of Operational Research | VOL. -
Zhaofang Mao, et. al.Zhaofang Mao ... Lin Chen
01 May 2024
Solving large-scale electricity market pricing problems in polynomial time
Mete Şeref Ahunbay ... Johannes Knörr
European Journal of Operational Research | VOL. -
Mete Şeref Ahunbay, et. al.Mete Şeref Ahunbay ... Johannes Knörr
01 May 2024
Product portfolio adjustments and the bullwhip effect: The impact of product introduction and retirement
Hamed Jalali ... Mozart B.C Menezes
European Journal of Operational Research | VOL. -
Hamed Jalali, et. al.Hamed Jalali ... Mozart B.C Menezes
01 May 2024
View more papers