Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Naur Peter"" wg kryterium: Autor


Tytuł:
The Structure of DNA: Knowing in Biological Discovery
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:231-252
Książka elektroniczna
Tytuł:
Coherent Description as the Core of Scholarship and Science
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:317-350
Książka elektroniczna
Tytuł:
Logic and Psychology of the Scientific Activity
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:293-316
Książka elektroniczna
Tytuł:
Aberration in Special Relativity: A Case of Chronic Scientific Confusion
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:261-270
Książka elektroniczna
Tytuł:
Computer Modelling of Human Knowing Activity
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:213-226
Książka elektroniczna
Tytuł:
The Metaphysics of Constructed Models
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:271-292
Książka elektroniczna
Tytuł:
Personal Style in Program Description and Understanding
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:189-212
Książka elektroniczna
Tytuł:
Why the Sun Shines: Coherence and Models in Scientific Description
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:253-260
Książka elektroniczna
Tytuł:
Three Notions of Proof
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:165-169
Książka elektroniczna
Tytuł:
Proof versus Formalization
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:171-188
Książka elektroniczna
Tytuł:
Language Production and Understanding
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:121-136
Książka elektroniczna
Tytuł:
Rules and Regularity in Musical Composition
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:111-120
Książka elektroniczna
Tytuł:
True Statements in Knowing and Action
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:137-160
Książka elektroniczna
Tytuł:
Rules and Regularity in Language
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:95-110
Książka elektroniczna
Tytuł:
Bertrand Russell on Knowing
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:51-70
Książka elektroniczna
Tytuł:
Gilbert Ryle on Knowing
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:75-86
Książka elektroniczna
Tytuł:
William James’s Psychology of Knowing
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:5-50
Książka elektroniczna
Tytuł:
Summary on the Psychology of Knowing
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:87-89
Książka elektroniczna
Tytuł:
J. L. Austin on How One Knows
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Knowing and the Mystique of Logic and Rules : True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. 18:71-73
Książka elektroniczna
Tytuł:
PARA'96 conference dinner talk 1996 August 20
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings. 1184:529-533
Książka elektroniczna
Tytuł:
Formalization in Program Development
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Program Verification : Fundamental Issues in Computer Science. 14:191-210
Książka elektroniczna
Tytuł:
The Place of Strictly Defined Notation in Human Insight
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Program Verification : Fundamental Issues in Computer Science. 14:261-274
Książka elektroniczna
Tytuł:
Proof of Algorithms by General Snapshots
Autorzy:
Naur, Peter
Pokaż więcej
Źródło:
Program Verification : Fundamental Issues in Computer Science. 14:57-64
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies