Logic and Algorithms With Applications to the Computer and Information Sciences

Logic and Algorithms With Applications to the Computer and Information Sciences

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Korfhage, Robert R. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York John Wiley & Sons c1966

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

Information storage and retrieval /
ανά: Korfhage, Robert R.
Έκδοση: (1997)

Logic minimization algorithms for VLSI synthesis
ανά: Brayton, Robert K.
Έκδοση: (1984)

Logic Minimization Algorithms for VLSI Synthesis
ανά: Brayton, Robert K., κ.ά.
Έκδοση: (1984)

Discrete computational structures
ανά: Korfhage, Robert R.
Έκδοση: (1974)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Logic synthesis and verification algorithms
ανά: Hatchtel, Gary D., κ.ά.
Έκδοση: (1996)

Genetic algorithms and fuzzy logic systems soft computing perspectives
Έκδοση: (1997)

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
Έκδοση: (2008)

Proofs and Algorithms An Introduction to Logic and Computability /
ανά: Dowek, Gilles
Έκδοση: (2011)

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Έκδοση: (2013)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2014)

Mathematical Logic Foundations for Information Science
ανά: Li, Wei
Έκδοση: (2010)

Logic for computer science
ανά: Reeves, Steve, κ.ά.
Έκδοση: (1990)

Informal Logic
Έκδοση: (2008)

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Έκδοση: (2017)

Linguistic science and logic
ανά: Dixon, Robert Malcolm Ward 1939-
Έκδοση: (1963)

Set theory and logic
ανά: Stoll, Robert R.
Έκδοση: (1979)

The Logic of Logistics Theory, Algorithms, and Applications for Logistics Management /
ανά: Simchi-Levi, David, κ.ά.
Έκδοση: (2014)

Mathematical logic /
ανά: Shoenfield, Joseph R., 1927- (Joseph Robert)
Έκδοση: (1967)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Fuzzy Logic-Based Algorithms for Video De-Interlacing
ανά: Brox, Piedad, κ.ά.
Έκδοση: (2010)

Fuzzy Logic-Based Algorithms for Video De-Interlacing
ανά: Brox, Piedad
Έκδοση: (2010)

Algorithms
ανά: Sedgewick, Robert, 1946-
Έκδοση: (1988)

Algorithms /
ανά: Sedgewick, Robert, 1946-
Έκδοση: (1988)

The science of logic
ανά: Hegel, Georg Wilhelm Friedrich, 1770-1831
Έκδοση: (2010)

Mathematical Logic for Computer Science
ανά: Ben-Ari, Mordechai
Έκδοση: (2012)

Logical Methods in Computer Science
Έκδοση: (2004)

Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001)

Handbook of logic in computer science /
Έκδοση: (1992)

Logic for mathematics and computer science
ανά: Burris, Stanley N.
Έκδοση: (1998)

Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001)

Computability and logic
ανά: Boolos, George S.
Έκδοση: (2002)

Computational logic /
Έκδοση: (1999)

Logic of computation /
Έκδοση: (1997)

Computability and logic /
ανά: Boolos, George S.
Έκδοση: (1989)

Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)

Sets, logic, and axiomatic theories
ανά: Stoll, Robert R.
Έκδοση: (1961)

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management /
ανά: Simchi-Levi, David, κ.ά.
Έκδοση: (2005)

The logic of logistics theory, algorithms, and applications for logistics and supply chain management
ανά: Simchi-Levi, David
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών