Search
Feedback
About
Help
News
| Listing 1 - 5 of 5 |
Sort by
|
Book
ISBN: 9780415616270 Year: 2011 Publisher: London : Routledge,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Sciences --- Positivisme logique --- Types, theorie des --- Methodologie
ISBN: 1556080883 1556080670 1556080697 1556080700 9400927231 9781556080692 Year: 1989 Volume: 38-39 Publisher: Dordrecht : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Semantics --- Semantics (Philosophy) --- Type theory --- Sémantique --- Sémantique (Philosophie) --- Types, Théorie des --- Congresses --- Congrès --- Sémantique --- Sémantique (Philosophie) --- Types, Théorie des --- Congrès --- Semantics - Congresses --- Semantics (Philosophy) - Congresses
Book
ISBN: 2130466729 9782130466727 Year: 1996 Volume: *57 Publisher: Paris : PUF - Presses Universitaires de France,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Russell, Bertrand --- Antinomy (Logic) --- Argument du menteur --- Avocat [Paradoxe de l' ] --- Barbier [Paradoxe du ] --- Epimenidean paradox --- Imprédicable de Grelling [Paradoxe de l' ] --- Leugenaar [Paradox van de ] --- Liar antinomy --- Liar paradox --- Menteur [Paradoxe du ] --- Paradox --- Paradox of Epimenides --- Paradox of Russel --- Paradox of the Liar --- Paradox van de leugenaar --- Paradoxe --- Paradoxe d'Épiménide --- Paradoxe de Russell --- Paradoxe de Sancho Pança --- Paradoxe de l'avocat --- Paradoxe de l'imprédicable de Grelling --- Paradoxe de violation de lois internes --- Paradoxe des relations --- Paradoxe du barbier --- Paradoxe du menteur --- Relations [Paradoxe des ] --- Russel's paradox --- Russell [Paradoxe de ] --- Sancho Pança [Paradoxe de ] --- Théorie des types --- Type theory --- Typentheorie --- Types [Théorie des ] --- Violation de lois internes [Paradoxe de ] --- Épiménide [Paradoxe d' ] --- Philosophy, English --- Logic, Symbolic and mathematical --- Mathematics --- Logic, Modern --- Paradoxes --- Philosophie anglaise --- Logique symbolique et mathématique --- Mathématiques --- Logique moderne --- Philosophy --- Philosophie --- Russell, Bertrand, --- Criticism and interpretation --- Critique et interprétation --- Logique symbolique et mathématique --- Mathématiques --- Critique et interprétation --- Russell, Bertrand Russell --- Contributions in logic --- Russell, Bertrand, - 1872-1970
ISBN: 3540665374 3540481672 9783540665373 Year: 1999 Volume: 1657 Publisher: New York, NY ; Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Computer programming --- Type theory --- Théorèmes --- Programmation (Informatique) --- Types, Théorie des --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Théorèmes --- Types, Théorie des --- Démonstration automatique --- Congrès --- Computer science. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- Logic, Symbolic and mathematical --- Information theory. --- Logic design. --- Artificial Intelligence. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Automatic theorem proving - Congresses --- Computer programming - Congresses --- Type theory - Congresses
| Listing 1 - 5 of 5 |
Sort by
|