Publisher
Springer International Publishing
Reference18 articles.
1. De Millo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Commun. ACM 22(5), 271–280 (1979). https://doi.org/10.1145/359104.359106. URL http://doi.acm.org/10.1145/359104.359106
2. Dodig Crnkovic, G.: Constructive research and info-computational knowledge generation. In: L. Magnani, W. Carnielli, C. Pizzi (eds.) Model-Based Reasoning in Science and Technology, vol. 314, pp. 359–380. Springer, Berlin, Heidelberg
3. Feyerabend, P.: Against Method. Verso (1993)
4. Feynman, R., Davies, P.: The Character of Physical Law. Penguin Books Limited (2007)
5. Godfrey-Smith, P.: Theory and Reality: An Introduction to the Philosophy of Science. University of Chicago Press, Chicago (2003)