Εξώφυλλο

Κώδικας QR

Computation, Logic, Philosophy: a collection of essays /

Κύριος συγγραφέας:	Hao, Wang.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	China: Science Press, c1990.
Ταξινομικός αριθμός:	160.1 HA
Θέματα:	Logic.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Logic and knowledge : essays 1901-1950 /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1971)

An introduction to philoshophical logic /
από: Grayling, A. C.
Στοιχεία έκδοσης: (1997)

Intensionality and truth: an essay on the philosophy of A.N. Prior/
από: Hugly, Philip.
Στοιχεία έκδοσης: (1996)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)

Essays in analysis /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1973)

Quebec studies in the philoshophy of science /
Στοιχεία έκδοσης: (1996)

Logic design : a review of theory and practice /
από: Langdon, Glen G.
Στοιχεία έκδοσης: (1974)

Advanced computer arithmetic design/
από: Flynn, Michael J., 1934-
Στοιχεία έκδοσης: (2001)

Essays in memory of Imre Lakatos /
Στοιχεία έκδοσης: (1976)

High-speed digital design : a handbook of black magic /
από: Johnson, Howard W.
Στοιχεία έκδοσης: (1993)

Login and computer design fundamentals /
από: Mano, Morris M., 1927-
Στοιχεία έκδοσης: (2000)

The Posing of questions: logical foundations of Erotetic inferences/
από: Wisniewski, Andrzej.
Στοιχεία έκδοσης: (1995)

Frontiers of combining systems: first international workshops, Munich, March 1996 /
Στοιχεία έκδοσης: (1996)

Reasoning with Logic Programming /
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981)

The concept of a person and other essays /
από: Ayer, Alfred Jules, 1910-
Στοιχεία έκδοσης: (1963)

Expaining games : the epistemic programme in game theory /
από: Bruin, Boudewijn De.
Στοιχεία έκδοσης: (2010)

Logic and algorithms: with applications to the computer and information sciences/
από: Korfhage, Robert R.
Στοιχεία έκδοσης: (1966)

Formal logic: its scope and limits/
από: Jeffrey, Richard C.
Στοιχεία έκδοσης: (1967)

Inductive logic programming: from machine learning to software engineering /
από: Bergadamo, Francesco.
Στοιχεία έκδοσης: (1995)

The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic /
από: Thom, Paul.
Στοιχεία έκδοσης: (1996)

Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/
Στοιχεία έκδοσης: (1997)

Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης: (1995)

The Godel Programming Language /
από: Hill, Patricia.
Στοιχεία έκδοσης: (1994)

Logic for applications /
από: Nerode, Anil.
Στοιχεία έκδοσης: (1997)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

AI game development : synthetic creatures with learning and reactive behaviors /
από: Champandard, Alex.
Στοιχεία έκδοσης: (2004)

Logic programming with Prolog /
από: Bramer, M. A. 1948-
Στοιχεία έκδοσης: (2005)

Digital design and computer architecture /
από: Harris, David Money.
Στοιχεία έκδοσης: (2007)

The journal of logic programming
Στοιχεία έκδοσης: (1984)

Journal of logic and algerbraic programming
Στοιχεία έκδοσης: (1984)

Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995)

Computer-aided design techniques for low power sequential logic circuits/
από: Monteiro, Josi, 1966-
Στοιχεία έκδοσης: (1979)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2000)

Digital design with CPLD applications and VHDL /
από: Dueck, Robert K.
Στοιχεία έκδοσης: (2005)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2009)

Solving the Frame Problem: a mathematical investigation of the common sense law of inertia /
από: Shanahan, Murray.
Στοιχεία έκδοσης: (1997)

Twenty-five years of logical methodology in Poland /
Στοιχεία έκδοσης: (1977)

Tractatus Logico-Philosophicus /
από: Wittgenstein, Ludwig, 1889-1951.
Στοιχεία έκδοσης: (2016)