Logic, Language, Information, and Computation. 1st ed. 2017

Mã QR

Logic, Language, Information, and Computation. 1st ed. 2017

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Kennedy, Juliette, Queiroz, Ruy J.G.B. de
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Algorithm Analysis and Problem Complexity
Truy cập trực tuyến:	http://doi.org/10.1007/978-3-662-55386-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/102008
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Logic, Language, Information and Computation
Bỡi: Leivant, Daniel, et al.
Được phát hành: (2020)

Relational and Algebraic Methods in Computer Science
Bỡi: Höfner, Peter, et al.
Được phát hành: (2020)

Relations and Kleene Algebra in Computer Science
Bỡi: Berghammer, Rudolf, et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Được phát hành: (2020)

Natural Language Processing – IJCNLP 2005
Bỡi: Dale, Robert, et al.
Được phát hành: (2020)

Graph Theory, Computational Intelligence and Thought
Được phát hành: (2020)

Logic and Its Applications
Bỡi: Khan, Md. Aquil, et al.
Được phát hành: (2020)

Language and Automata Theory and Applications
Bỡi: Martín-Vide, Carlos, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Bỡi: Hoos, Holger H., et al.
Được phát hành: (2020)

Machine Learning: ECML 2007
Bỡi: Kok, Joost N., et al.
Được phát hành: (2020)

Elements of the theory of computation /
Bỡi: Lewis, Harry R.
Được phát hành: (1998)

Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi: Gopal, T.V., et al.
Được phát hành: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

KI 2017: Advances in Artificial Intelligence
Bỡi: Kern-Isberner, Gabriele, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
Bỡi: Marques-Silva, Joao, et al.
Được phát hành: (2020)

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Bỡi: Sichman, Jaime Simao, et al.
Được phát hành: (2020)

Coding Theory and Applications
Bỡi: Barbero, Ángela I., et al.
Được phát hành: (2020)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Computation and Logic in the Real World
Bỡi: Cooper, Barry S., et al.
Được phát hành: (2020)

Fundamentals of Computation Theory
Được phát hành: (2020)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Logic, Language, and Computation
Được phát hành: (2020)

Logic
Được phát hành: (1980)

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Bỡi: Seising, Rudolf, et al.
Được phát hành: (2020)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

Computational Thinking
Bỡi: Ferragina, Paolo, et al.
Được phát hành: (2020)

An introduction to symbolic logic
Bỡi: Langer, Susanne Katherina
Được phát hành: (1953)

AI 2015: Advances in Artificial Intelligence
Bỡi: Pfahringer, Bernhard, et al.
Được phát hành: (2020)

KI 2019: Advances in Artificial Intelligence
Bỡi: Benzmüller, Christoph, et al.
Được phát hành: (2020)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1997)

Các bài toán về suy luận logic
Bỡi: Trần, Diên Hiển
Được phát hành: (2000)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1999)