Logic, Language, and Computation

Mã QR

Logic, Language, and Computation

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were car...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bezhanishvili, G, Löbner, S, Marra, V
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Computer logic Congresses Programming languages Electronic computers
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58376
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 and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

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

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

Programming Languages and Systems
Bỡi: Seidl, Helmut
Được phát hành: (2015)

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

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

Introduction to logic and computer design
Bỡi: Alan B. Marcovitz
Được phát hành: (2008)

Introduction to Logic and Computer Design /
Bỡi: Marcovitz Alan B
Được phát hành: (2007)

P-Prolog, a parallel logic programming language /
Bỡi: Yang, Rong.
Được phát hành: (1987)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

Computer Science Logic
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Arithmetic and logic in computer systems
Bỡi: Lu, Mi
Được phát hành: (2004)

Programming language concepts and paradigms /
Bỡi: Watt, David A.
Được phát hành: (1990)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Computer logic: Design principles and applications with 67 illustrations
Bỡi: Hsu, John Y.
Được phát hành: (2002)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Bỡi: Hermenegildo, Manuel V, et al.
Được phát hành: (2020)

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

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Programming languages :
Bỡi: Tucker, Allen B.
Được phát hành: (2007)

Writing computer code
Bỡi: Minnick, Chris
Được phát hành: (2016)

Principles of programming languages
Bỡi: Bruce J. MacLennan
Được phát hành: (1999)

Principles of programming languages
Bỡi: MacLennan, Bruce J.
Được phát hành: (1999)

Inductive Logic Programming
Bỡi: Riguzzi, Fabrizio, et al.
Được phát hành: (2020)

Programming language essentials
Bỡi: Bal, Henri E.
Được phát hành: (1994)

Comparative programming language
Bỡi: Leslie B Wilson
Được phát hành: (1993)

Concepts of programming languages
Bỡi: Sebesta, Robert W.
Được phát hành: (2004)

Concepts of programming languages
Bỡi: Sebesta, Robert W.
Được phát hành: (2004)

Concepts of programming languages
Bỡi: Sebesta, Robert W.
Được phát hành: (2006)

Programming language concepts /
Bỡi: Ghezzi, Carlo.
Được phát hành: (1982)

Comparative programming languages /
Bỡi: Wilson, Leslie B.
Được phát hành: (1988)

High-level languages and their compilers
Bỡi: Watson, Des
Được phát hành: (1989)

A guide to programming languages
Bỡi: Ruknet Cezzar
Được phát hành: (1995)