Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 185
Number of items: 185
  • Löwe, B., & Müller, T. (2010). PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice. (Texts in philosophy; No. 11). College Publications. http://www.lib.uni-bonn.de/PhiMSAMP/Book/
  • Ferreira, F., Löwe, B., Mayordomo, E., & Mendes Gomes, L. (Eds.) (2010). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings. (Lecture Notes in Computer Science; Vol. 6158). Springer. https://doi.org/10.1007/978-3-642-13962-8
  • Open Access
    Ikegami, D. (2010). Games in set theory and logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Löwe, B., Pacuit, E., & Saraf, S. (2009). Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation™. In Proceedings of the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09) University of Hamburg. http://www.illc.uva.nl/Publications/ResearchReports/PP-2009-33.text.pdf
  • Ambos-Spies, K., Löwe, B., & Merkle, W. (2009). Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009: Proceedings. (Lecture notes in computer science; No. 5635). Springer. https://doi.org/10.1007/978-3-642-03073-4
  • Archibald, M., Brattka, V., Goranko, V., & Löwe, B. (Eds.) (2009). Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers. (Lecture Notes in Computer Science; Vol. 5489), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-03092-5
  • Löwe, B., Pacuit, E., & Romeijn, J. W. (2009). Foundations of the Formal Sciences VI: Probabilistic reasoning and reasoning with probabilities. (Studies in logic; No. 16). College Publications.
  • Open Access
    Semmes, B. T. (2009). A game for the Borel functions. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Ghosh, S., Löwe, B., & Saraf, S. (2009). Pointer semantics with forward propagation. Advances in Intelligent Systems Research, 8, 37-42. https://doi.org/10.2991/agi.2009.29
  • Open Access
    Uckelman, S. L. (2009). Modalities in medieval logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
Page 6 of 19