Elements of the theory of computation /

QR kód

Elements of the theory of computation /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lewis, Harry R.
Další autoři:	Papadimitriou, Christos H.
Médium:	Sách giấy
Vydáno:	Upper Saddle River, N.J. : Prentice-Hall, c1998.
Vydání:	2nd ed.
Témata:	Computational complexity. Formal languages. Logic, Symbolic and mathematical. Machine theory.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobné jednotky

Relational and Algebraic Methods in Computer Science
Autor: Höfner, Peter, a další
Vydáno: (2020)

Relations and Kleene Algebra in Computer Science
Autor: Berghammer, Rudolf, a další
Vydáno: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
Autor: Kennedy, Juliette, a další
Vydáno: (2020)

Graph Theory, Computational Intelligence and Thought
Vydáno: (2020)

Logic and language models for computer science
Autor: Henry Hamburger
Vydáno: (2002)

Theory and Applications of Models of Computation. 1st ed. 2017
Autor: Gopal, T.V., a další
Vydáno: (2020)

Finite Model Theory and Its Applications
Autor: Grädel, Erich, a další
Vydáno: (2020)

Pillars of Computer Science
Autor: Avron, Arnon, a další
Vydáno: (2020)

Computer Science Logic
Vydáno: (2020)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Autor: Baixeries, Jaume, a další
Vydáno: (2015)

Theory and Applications of Satisfiability Testing
Autor: Hoos, Holger H., a další
Vydáno: (2020)

Theory and Applications of Satisfiability Testing
Vydáno: (2020)

An introduction to formal languages and machine computation /
Autor: Yan, Song Y.
Vydáno: (1998)

Cơ sở lý thuyết tính toán =
Autor: Hopcroft, J.
Vydáno: (2003)

Theory and Applications of Satisfiability Testing - SAT 2007
Autor: Marques-Silva, Joao, a další
Vydáno: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Vydáno: (2020)

Mathematical logic for computer science.
Autor: Lu Zhungwan
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Mathematical logic for computer science /
Autor: Lu, Zhongwan.
Vydáno: (1989)

Language and Automata Theory and Applications
Autor: Martín-Vide, Carlos, a další
Vydáno: (2020)

Set theory and the continuum hypothesis /
Autor: Cohen, Paul J., 1934-2007.
Vydáno: (1966)

Logic for computer scientists
Autor: Uwe Schoning
Vydáno: (1989)

Logic, Language, and Computation
Vydáno: (2020)

Deontic Logic in Computer Science
Autor: Meyden, Ron van der, a další
Vydáno: (2020)

Data engineering: Fuzzy mathematics in systems theory and data analysis
Autor: Olaf Wolkenhauer
Vydáno: (2001)

An Introduction to the Technique of Formative Processes in Set Theory
Autor: Cantone, Domenico, a další
Vydáno: (2020)

How to read and do proofs : an introduction to mathematical thought processes /
Autor: Solow, Daniel.
Vydáno: (1990)

Nhập môn lý thuyết tập hợp và logic
Autor: Phan Hữu Chân
Vydáno: (1977)

Logical Foundations of Computer Science
Autor: Artemov, Sergei, a další
Vydáno: (2020)

Developments in Language Theory
Autor: Hoshi, Mizuho, a další
Vydáno: (2020)

Teaching Formal Methods
Vydáno: (2020)

Frontiers of Combining Systems
Autor: Konev, Boris, a další
Vydáno: (2020)

Frontiers of Combining Systems
Autor: Gramlich, Bernhard
Vydáno: (2020)

Frontiers of Combining Systems
Vydáno: (2020)

Fuzzy Systems and Knowledge Discovery
Autor: Wang, Lipo, a další
Vydáno: (2020)

Theorem Proving in Higher Order Logics
Autor: Schneider, Klaus, a další
Vydáno: (2020)

Logic for mathematics and computer sicence
Autor: Burris, Stanley N.
Vydáno: (1998)

Rewriting, Computation and Proof
Autor: Comon-Lundh, Hubert, a další
Vydáno: (2020)

Intelligent Computer Mathematics
Autor: Geuvers, Herman, a další
Vydáno: (2020)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Autor: Banerjee, Mohua, a další
Vydáno: (2015)