7
7.0
Nov 5, 2017
11/17
by
Kowalski, Robert; Bowen, Kenneth A; Association for Logic Programming; IEEE Computer Society; International Conference on Logic Programming (5th : 1988 : University of Washington, Seattle); Symposium on Logic Programming (5th : 1988 : University of Washington, Seattle)
texts
eye 7
favorite 0
comment 0
Papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming, sponsored by the Association for Logic Programming and the Computer Society of IEEE, held Aug. 15-19, 1988 at the University of Washington, Seattle
Topics: COMPUTERS / Computer Science, Logic programming, Programmation logique
2
2.0
Nov 12, 2020
11/20
by
Matthieu Giroux
audio
eye 2
favorite 0
comment 0
Émissions Radio En 2020 : - sur l'informatique et l'économie
Topics: radio, informatique, économie, logique, génie, info, comprendre
3
3.0
Mar 11, 2021
03/21
by
Stucki, Pierre-André
texts
eye 3
favorite 0
comment 0
229 pages ; 20 cm
Topics: Christianity -- Philosophy, Existentialism, Christianisme et existentialisme, Logique,...
128
128
Jan 11, 2010
01/10
by
Flesch, Rudolf, 1911-1986
texts
eye 128
favorite 8
comment 0
Includes bibliographical references
Topics: Thought and thinking, Logic, Pensée, Logique
Includes bibliographical references and an index
Topics: Logic, Logique
303
303
Feb 23, 2010
02/10
by
Mano, M. Morris
texts
eye 303
favorite 7
comment 0
Comprend des references bibliographiques
Topics: Ordinateurs, Circuits intégrés, Circuits logiques, Micro-ordinateurs, Circuit Integre Logique...
125
125
May 2, 2012
05/12
by
Inhelder, Bärbel; Piaget, Jean, 1896-1980, author
texts
eye 125
favorite 2
comment 0
Translation of La genèse des structures logiques élémentaires
Topics: Reasoning in children, Child Psychology, Logic, Logique, Reasoning (Child psychology), Reasoning...
Source: removedNEL
21
21
Jul 24, 2018
07/18
by
Vance, Eugene
texts
eye 21
favorite 3
comment 0
xxxiii, 131 pages ; 24 cm
Topics: Chretien, de Troyes, active 12th century -- Technique, Chretien, de Troyes, active 12th century,...
Source: removedNEL
129
129
Feb 18, 2020
02/20
by
Kneale, W. C. (William Calvert)
texts
eye 129
favorite 5
comment 0
761 pages 22 cm
Topics: Logic -- History, Logique, Logic, Logica, Geschichte, Logik
13
13
Nov 12, 2019
11/19
by
Harrison, Frank R., 1935-
texts
eye 13
favorite 1
comment 0
x, 534 pages 25 cm
Topics: Logique, Logic, Deduktives Datenbanksystem, Logische Programmierung, Einführung, Einfuhrung
128
128
Nov 14, 2012
11/12
by
Rothstein, Erica L
texts
eye 128
favorite 4
comment 0
Topic: Enigme Logique Probleme Puzzle
43
43
Feb 29, 2020
02/20
by
Ryle, Gilbert
texts
eye 43
favorite 1
comment 0
129 pages 22 cm
Topics: Dilemma, Dilemme, Logica, Logique, Perception
Folkscanomy: A Library of Books
384
384
Dec 29, 2015
12/15
by
LOPSTR 2003 (2003 : Uppsala, Sweden); Bruynooghe, M. (Maurice)
texts
eye 384
favorite 0
comment 0
Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers Author: Maurice Bruynooghe Published by Springer Berlin Heidelberg ISBN: 978-3-540-22174-6 DOI: 10.1007/b98080 Table of Contents: Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures Correct OO Systems in Computational Logic...
Topics: Logic programming, Programmation logique, Computational logic, Logische Programmierung,...
26
26
Oct 16, 2020
10/20
by
Légaré, Ginette
texts
eye 26
favorite 3
comment 0
xi, 98 pages : 23 cm
Topics: Reasoning, Logic, Thought and thinking, Discourse analysis -- Problems, exercises, etc,...
13
13
texts
eye 13
favorite 0
comment 0
xiv, 297 pages : 26 cm
Topics: Costa, Newton C. A. da, Logique symbolique et mathématique, Logic, Symbolic and mathematical,...
7
7.0
Feb 9, 2021
02/21
by
Bergmann, Merrie
texts
eye 7
favorite 0
comment 0
xii, 556 pages ; 24 cm
Topics: Logic, Symbolic and mathematical, Predicate (Logic), Prédicat (Logique), Calcul des prédicats,...
41
41
Feb 4, 2020
02/20
by
Nagel, Ernest, 1901-1985
texts
eye 41
favorite 4
comment 0
661 pages
Topics: Logic, Symbolic and mathematical -- Congresses, Science -- Philosophy -- Congresses, Methodology --...
115
115
Mar 16, 2020
03/20
by
Johnson-Laird, P. N. (Philip Nicholas), 1936-
texts
eye 115
favorite 3
comment 0
xiii, 513 pages : 24 cm
Topics: Kognition, Denken, Kognitive Psychologie, Kognitionswissenschaft, Sprachverstehen,...
37
37
Sep 20, 2019
09/19
by
Nguyen, Hung T., 1944-
texts
eye 37
favorite 4
comment 0
266 pages : 25 cm
Topics: Mathematics (General), mathematical logic, Wiskunde (algemeen), Fuzzy logic, Neural networks...
5
5.0
Feb 5, 2020
02/20
by
Rosenbaum, Peter S
texts
eye 5
favorite 0
comment 0
xii, 128 p. : 25 cm
Topics: English language, langage naturel, logique, prédicat, anglais, linguistique, grammaire formelle,...
8
8.0
Jun 17, 2020
06/20
by
Zissos, D
texts
eye 8
favorite 1
comment 0
viii, 191 pages : 23 cm
Topics: Microprocessors, Logic design, Microprocesseurs, Structure logique, Microprocessors Logic design
6
6.0
web
eye 6
favorite 0
comment 0
Wiki du Gdt Logique dumped with WikiTeam tools.
Topics: wiki, wikiteam, MediaWiki, Wiki du Gdt Logique, gdtludicseu, unknowncopyright
5
5.0
texts
eye 5
favorite 0
comment 0
vii, 386 pages : 25 cm
Topics: Logic programming -- Congresses, Algebraic logic -- Congresses, Programmation logique -- Congrès,...
24
24
Jul 27, 2020
07/20
by
Klir, George J., 1932-
texts
eye 24
favorite 2
comment 0
xv, 574 pages : 25 cm
Topics: statistical analysis, statistische analyse, Wiskundige statistiek, Mathematical Statistics, Fuzzy...
516
516
Dec 6, 2010
12/10
by
Milhaud, Gaston Samuel, 1858-1918
texts
eye 516
favorite 0
comment 0
Topics: Logic, Symbolic and mathematical, Mathematics, Logique symbolique et mathématique, Mathématiques
0
0.0
texts
eye 0
favorite 0
comment 0
179 pages : 25 cm
Topics: Logic programming -- Congresses, Programmation logique -- Congrès, Logic programming, CONFERENCE...
4
4.0
Mar 1, 2021
03/21
by
Maritain, Jacques, 1882-1973
texts
eye 4
favorite 0
comment 0
xii, 300 pages : 22 cm
Topics: Logic, Logique
8
8.0
Mar 10, 2021
03/21
by
Copi, Irving M
texts
eye 8
favorite 0
comment 0
xiii, 482 pages : 24 cm
Topics: Logic, Logique, Logik, Einführung
4
4.0
Jan 21, 2021
01/21
by
PLILP '92 (1992 : Louvain, Belgium)
texts
eye 4
favorite 0
comment 0
xi, 492 pages : 25 cm
Topics: Programming languages (Electronic computers) -- Congresses, Logic programming -- Congresses,...
4
4.0
Aug 11, 2020
08/20
by
Marriott, Kim
texts
eye 4
favorite 2
comment 0
xiv, 467 pages : 26 cm
Topics: Logic programming, Constraint programming (Computer science), Programmation logique, Programmation...
5
5.0
Feb 22, 2021
02/21
by
Peirce, Charles S. (Charles Sanders), 1839-1914
texts
eye 5
favorite 0
comment 0
volumes : 24 cm
Topics: Philosophy, Philosophie -- Collections, Philosophie, Logique
33
33
Mar 24, 2020
03/20
by
Carnap, Rudolf, 1891-1970, author
texts
eye 33
favorite 0
comment 0
xiv, 241 pages ; 21 cm
Topics: Logic, Symbolic and mathematical, Logique symbolique et mathématique, Wiskunde, Symbolische...
14
14
Dec 29, 2020
12/20
by
Mazza, Fabrice
texts
eye 14
favorite 0
comment 0
466 p. : 25 cm
Topics: Devinettes et énigmes, Déduction (logique), Raisonnement, énigme - résolution
5
5.0
Jan 11, 2021
01/21
by
Rudinow, Joel
texts
eye 5
favorite 1
comment 0
xiii, 369 p. : 24 cm
Topics: Critical thinking -- Textbooks, Logic -- Textbooks, Pensée critique -- Manuels d'enseignement...
33
33
texts
eye 33
favorite 1
comment 0
xiv, 336 pages : 24 cm
Topics: Physics -- Philosophy -- Congresses, Logic -- Congresses, History -- Philosophy -- Congresses,...
6
6.0
Jul 11, 2018
07/18
by
International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
texts
eye 6
favorite 0
comment 0
xvi, 688 pages : 24 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses, Theoremes...
2
2.0
texts
eye 2
favorite 0
comment 0
vii, 348 p. : 25 cm
Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy, Proof theory, Categories (Philosophy),...
9
9.0
Aug 6, 2020
08/20
by
Sprute, Jürgen
texts
eye 9
favorite 1
comment 0
209 pages ; 25 cm
Topics: Aristotle -- Language, Aristote -- Et l'enthymème, Aristotle, Aristoteles v384-v322, Aristoteles...
Comprend des références bibliographiques
Topics: Philosophie, Philosophy, Logic, Logique
82
82
Jul 5, 2017
07/17
by
Levi, Isaac, 1930-
texts
eye 82
favorite 6
comment 0
This major work challenges some widely held positions in epistemology - those of Peirce and Popper on the one hand and those of Quine and Kuhn on the other. The author contends that epistemological infallibilism is compatible with his view that knowledge evolves through a process of updating and correcting. Knowledge is regarded as a resource for decision and inquiry, a standard for serious possibility.
Topics: Knowledge, Theory of, Probabilities, Chance, Inference, Science, Decision making, Connaissance,...
349
349
Dec 18, 2010
12/10
by
Pinel, Louis
texts
eye 349
favorite 2
comment 0
Topic: Positivisme logique
52
52
texts
eye 52
favorite 3
comment 0
x, 414 pages ; 21 cm
Topics: Symbolic logic, Wittgenstein, Ludwig, Wittgenstein, Ludwig, 1889-1951. Tractatus...
15
15
movies
eye 15
favorite 0
comment 0
IEML est une langue à la fois formelle et philologique (ayant la même puissance qu’une langue naturelle), dont la sémantique est calculable et qui possède des fonctions de calcul logique et pragmatique. Elle est conçue pour être utilisée dans un environnement numérique pour la catégorisation des données, l’intelligence artificielle et les interfaces homme/machine. Le métalangage de l’économie de l’information, en bref IEML (Information Economy MetaLanguage) est un projet...
Topics: métalangage, computation, linguistique, information, communication, TIC, philosophie, langue...
12
12
movies
eye 12
favorite 0
comment 0
IEML est une langue à la fois formelle et philologique (ayant la même puissance qu’une langue naturelle), dont la sémantique est calculable et qui possède des fonctions de calcul logique et pragmatique. Elle est conçue pour être utilisée dans un environnement numérique pour la catégorisation des données, l’intelligence artificielle et les interfaces homme/machine. Le métalangage de l’économie de l’information, en bref IEML (Information Economy MetaLanguage) est un projet...
Topics: métalangage, computation, linguistique, information, communication, TIC, philosophie, langue...
18
18
Sep 9, 2020
09/20
by
Kosko, Bart
texts
eye 18
favorite 2
comment 0
xvi, 318 pages : 25 cm
Topics: Logica, Fuzzy theorie, Fuzzy-Menge, Fuzzy-Logik, Philosophy and science, Logic, Logique, Fuzzy...
6
6.0
Jun 26, 2020
06/20
by
Wheatley, Doris M
texts
eye 6
favorite 1
comment 0
[8], 130 pages 22 cm
Topics: Algorithms, Problem solving, Logic, Algorithmes, Résolution de problème, Logique, Algorithms...
396
396
Jul 10, 2009
07/09
by
Palmieri, Domenico, 1829-1909
texts
eye 396
favorite 0
comment 0
Titre de la couverture
Topics: Philosophie, Logique, Philosophy, Logic
"... In 'The World's Classics' they were first published together in 19[0]6."--t.p. verso
Topics: Logique, Utopies, Sciences, Science, Utopias, Logic
3
3.0
Oct 26, 2020
10/20
by
International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)
texts
eye 3
favorite 0
comment 0
xv, 764 pages : 24 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses, Logic,...
235
235
texts
eye 235
favorite 0
comment 0
logique moderne
Topics: Logique moderne, Fascicule 2
