Logic and language models for computer science

কিউআর কোড

Logic and language models for computer science

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Henry Hamburger
বিন্যাস:	গ্রন্থ
ভাষা:	Undetermined
প্রকাশিত:	Upper Saddle River, NJ Prentice-Hall 2002
বিষয়গুলি:	programming languages ( electronic computers ),logic, symbolic and mathematical,computer science,automaths ( formal language ) mathematics
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

অনুরূপ উপাদানগুলি

Logic, Language, and Computation
প্রকাশিত: (2020)

Logic, Language, Information, and Computation
অনুযায়ী: Moss, Lawrence S., অন্যান্য
প্রকাশিত: (2020)

Deontic Logic in Computer Science
অনুযায়ী: Meyden, Ron van der, অন্যান্য
প্রকাশিত: (2020)

Mathematical logic for computer science.
অনুযায়ী: Lu Zhungwan
প্রকাশিত: (1989)

Mathematical logic for computer science /
অনুযায়ী: Lu, Zhongwan.
প্রকাশিত: (1989)

Mathematical logic for computer science /
অনুযায়ী: Lu, Zhongwan.
প্রকাশিত: (1989)

Relational and Algebraic Methods in Computer Science
অনুযায়ী: Höfner, Peter, অন্যান্য
প্রকাশিত: (2020)

Relations and Kleene Algebra in Computer Science
অনুযায়ী: Berghammer, Rudolf, অন্যান্য
প্রকাশিত: (2020)

Logic, Language, and Computation
প্রকাশিত: (2020)

Computer Science Logic
প্রকাশিত: (2020)

Language, Logic, and Computation
অনুযায়ী: Silva, Alexandra, অন্যান্য
প্রকাশিত: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
অনুযায়ী: Kennedy, Juliette, অন্যান্য
প্রকাশিত: (2020)

Logical Foundations of Computer Science
অনুযায়ী: Artemov, Sergei, অন্যান্য
প্রকাশিত: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
অনুযায়ী: Artemov, Sergei, অন্যান্য
প্রকাশিত: (2020)

Coalgebraic Methods in Computer Science
অনুযায়ী: Cîrstea, Corina
প্রকাশিত: (2020)

Modelling Computing Systems
অনুযায়ী: Moller, Faron, অন্যান্য
প্রকাশিত: (2020)

Relational and Algebraic Methods in Computer Science
অনুযায়ী: Desharnais, Jules, অন্যান্য
প্রকাশিত: (2020)

Foundations of Software Science and Computational Structures
প্রকাশিত: (2020)

Foundations of Software Science and Computation Structures
প্রকাশিত: (2020)

Lý thuyết Automat và ngôn ngữ hình thức
প্রকাশিত: (2002)

Elements of the theory of computation /
অনুযায়ী: Lewis, Harry R.
প্রকাশিত: (1998)

Logic for computer scientists
অনুযায়ী: Uwe Schoning
প্রকাশিত: (1989)

Logic and Its Applications
প্রকাশিত: (2020)

Logics of Specification Languages
অনুযায়ী: Bjørner, Dines, অন্যান্য
প্রকাশিত: (2020)

Logic Programming and Nonmonotonic Reasoning
অনুযায়ী: Balduccini, Marcello, অন্যান্য
প্রকাশিত: (2020)

Pillars of Computer Science
অনুযায়ী: Avron, Arnon, অন্যান্য
প্রকাশিত: (2020)

Inductive Logic Programming
অনুযায়ী: Cussens, James, অন্যান্য
প্রকাশিত: (2020)

Foundations of Software Science and Computation Structures
অনুযায়ী: Bojańczyk, Mikołaj, অন্যান্য
প্রকাশিত: (2020)

Computational Logic in Multi-Agent Systems
প্রকাশিত: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
অনুযায়ী: Ayala-Rincón, Mauricio, অন্যান্য
প্রকাশিত: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
অনুযায়ী: Aguzzoli, S., অন্যান্য
প্রকাশিত: (2020)

Foundations of Fuzzy Logic and Soft Computing
অনুযায়ী: Melin, Patricia, অন্যান্য
প্রকাশিত: (2020)

Developments in Language Theory
অনুযায়ী: Hoshi, Mizuho, অন্যান্য
প্রকাশিত: (2020)

Logical Foundations of Cyber-Physical Systems
অনুযায়ী: Platzer, André
প্রকাশিত: (2020)

Rewriting, Computation and Proof
অনুযায়ী: Comon-Lundh, Hubert, অন্যান্য
প্রকাশিত: (2020)

Intelligent Computer Mathematics
অনুযায়ী: Geuvers, Herman, অন্যান্য
প্রকাশিত: (2020)

Formal Methods in Software and Systems Modeling
প্রকাশিত: (2020)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
অনুযায়ী: Baixeries, Jaume, অন্যান্য
প্রকাশিত: (2015)

Temporal Logic and State Systems
অনুযায়ী: Kröger, Fred, অন্যান্য
প্রকাশিত: (2020)

Human Language Technology. Challenges for Computer Science and Linguistics
অনুযায়ী: Vetulani, Zygmunt, অন্যান্য
প্রকাশিত: (2020)