Εξώφυλλο

Κώδικας QR

The logic of partial information /

Κύριος συγγραφέας:	Nait Abdallah, Areski, 1950-
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Berlin : Springer, c1995
Σειρά:	Monographs in theoretical computer science.
Ταξινομικός αριθμός:	006.3'3 ABD
Θέματα:	Programming languages (Electronic computers) > Semantics. Computer algorithms. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

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

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

Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995)

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

Elements of the theory of computation /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (1981)

Στοιχεία θεωρίας υπολογισμού /
από: Lewis, Harry R.
Στοιχεία έκδοσης: (2005)

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

Foundations of mathematical logic/
από: Curry, Haskell B., 1900-
Στοιχεία έκδοσης: (1977)

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

Logic, sets, and recursion /
από: Causey, Robert L.
Στοιχεία έκδοσης: (2001)

Handbook of mathematical logic /
Στοιχεία έκδοσης: (1977)

Mathematical logic /
από: Chiswell, Ian, 1948-
Στοιχεία έκδοσης: (2007)

Mathematical logic
από: Turing, Alan Mathison, 1912-1954.
Στοιχεία έκδοσης: (2001)

Closure spaces and logic /
από: Martin, Norman M.
Στοιχεία έκδοσης: (1996)

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

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

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

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

Schaum's outline of theory and problems of discrete mathematics /
από: Lipschutz, Seymour.
Στοιχεία έκδοσης: (1976)

Fuzzy logic and the semantic web
Στοιχεία έκδοσης: (2006)

Semantics of programming languages: structures and techniques /
από: Gunter, Carl A.
Στοιχεία έκδοσης: (1992)

The Format semantics of programming Languages: an introduction /cGlynn Winskel.
από: Winskel, Glynn.
Στοιχεία έκδοσης: (1993)

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

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

VHDL coding and logic synthesis with Synopsys /
από: Lee, Weng Fook.
Στοιχεία έκδοσης: (2000)

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

Type logical grammar: categorial logic of signs/
από: Morrill, Glyn V.
Στοιχεία έκδοσης: (1994)

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

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

Logic-based decision support : mixed integer model formulation /
από: Jeroslow, Robert G., 1942-
Στοιχεία έκδοσης: (1989)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

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

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

Analysis and decision making in uncertain systems /
από: Bubnicki, Zdzislaw.
Στοιχεία έκδοσης: (2004)

Symbolic logic and mechanical theorem proving /
από: Chang, Chin-Liang, 1937-
Στοιχεία έκδοσης: (1987)

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

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

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

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