- Programming languages 83
- Artificial intelligence 81
- Inteligencia artificial 81
- Lenguajes de programación 78
- Mathematical logic 77
- Logics and meanings of programs 74
- Lógica matemática 73
- Software engineering 73
- Formal languages 68
- Lógica y significado de programas 68
- Lenguajes formales 62
- Ingeniería de software 60
- Analysis of algorithms and problem complexity 50
- Análisis numérico 48
- Análisis de algoritmos y problemas de complejidad 47
- Discrete mathematics 45
- Computer networks 43
- Mathematical logic-Computation 43
- FILOSOFIA DE LA CIENCIA 42
- Programming techniques 42
- Redes de computadoras 42
- Computation by abstract devices 41
- Lógica matemática-Computación 41
- Matemática discreta 40
- Deducción y prueba de teoremas 39
- Ecuaciones diferenciales parciales 39
- Database management 38
- Deduction and theorem proving 38
- Numerical analysis 38
- Computación mediante dispositivos abstractos 36
-
1401
Les grandes theses de la philosophie thomiste /
Published 1928“…Bibliotheque catholique des sciences religieuses…”
Book -
1402
Experimental inquiries : historical, philosophical and social studies of experimentation in science /
Published 1990“…Australasian Studies in History and Philosophy of Science ;…”
Book -
1403
Natural kinds, laws of nature and scientific methodology /
Published 1996“…Australasian Studies in history and philosophy of science ;…”
Book -
1404
Lavoisier and the chemistry of life : an exploration of scientific creativity /
Published 1987“…Wisconsin Publications in the History of Science and Medicine ;…”
Book -
1405
Explaining science : a cognitive approach /
Published 1988“…Science and its conceptual foundations series…”
Book -
1406
Language, thought and reality : selected writings /
Published 1959“…Technology Press Books in the Social Sciences…”
Book -
1407
Making space for science : territorial themes in the shaping of knowledge /
Published 1998“…Science, Technology and Medicine in Modern History…”
Book -
1408
Algorithmic information theory /
Published 1992“…Cambridge Tracts in Theoretical Computer Science ;…”
Book -
1409
Idealization II : Forms and applications /
Published 1990“…Poznan Studies in the Philosophy of the Sciences and the Humanities ;…”
Book -
1410
Idealization I : general problems /
Published 1990“…Poznan Studies in the Philosophy of the Sciences and the Humanities ;…”
Book -
1411
Idealization III : approximation and truth /
Published 1992“…Poznan Studies in the philosophy of sciences and the humanities ;…”
Book -
1412
Idealization IV : intelligibility in science /
Published 1992“…Poznan Studies in the philosophy of sciences and the humanities ;…”
Book -
1413
Structuralist knowledge representation : paradigmatic examples /
Published 2000“…Poznan studies in the philosophy of the sciences and the humanities ;…”
Book -
1414
Idealization IX : idealization in contemporary physics /
Published 1998“…Poznan studies in the philosophy of the sciences and the humanities ;…”
Book -
1415
-
1416
Information flow : the logic of distributed systems /
Published 1997“…Cambridge Tracts in Theoretical Computer Science ;…”
Book -
1417
Theories and models in scientific processes : Proceeding of AFOS '94 workshop, august 15-26, Madralin and IUHPS ' 94 Conference, august 27-29, Warszawa /
Published 1995“…Poznan studies in the philosophy of sciences and the humanities;…”
Conference Proceeding Book -
1418
La grande bourgeoisie au pouvoir, 1830-1880 : essai sur l'histoire sociale de la France /
Published 1960“…Bibliothèque de la science èconomique…”
Book -
1419
Empiricism and Darwin's science /
Published 1991“…The University of Western Ontario. Philosophy of Science ;…”
Book -
1420
On method : toward a reconstruction of psychological investigation /
Published 1968“…The Jossey-Bass behavioral science series…”
Book