Non-deterministic concurrent logic programming in Pandora /

Mã QR

Non-deterministic concurrent logic programming in Pandora /

Hiển thị phiên bản (1) khác

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Bahgat, Reem.
Định dạng:	Sách giấy
Được phát hành:	Singapore ; River Edge, NJ : World Scientific, c1993.
Loạt:	Series in computer science ; vol. 37.
Những chủ đề:	Logic programming. Pandora (Computer program language)
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ự

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

A guide to programming logic and design /
Bỡi: Farrell, Joyce.
Được phát hành: (1999)

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

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

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

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

Programming logic and design, introductory
Bỡi: Joyce Farrell
Được phát hành: (2008)

Programming logic and design : comprehensive
Bỡi: Joyce Farrell
Được phát hành: (2007)

Logic Based Program Synthesis and Transformation
Được phát hành: (2020)

Concurrency, Graphs and Models
Bỡi: Degano, Pierpaolo, et al.
Được phát hành: (2020)

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

Concurrency, Security, and Puzzles
Bỡi: Gibson-Robinson, Thomas, et al.
Được phát hành: (2020)

Programming logic and design
Bỡi: Farrell, Joyce

Foundations of inductive logic programming /
Bỡi: Nienhuys-Cheng, S. -H. 1943-
Được phát hành: (1997)

Application and Theory of Petri Nets and Concurrency
Bỡi: Khomenko, Victor, et al.
Được phát hành: (2020)

Application and Theory of Petri Nets and Concurrency
Bỡi: Aalst, Wil van der, et al.
Được phát hành: (2020)

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

Programming logic and design, comprehensive
Bỡi: Farrell, Joyce
Được phát hành: (2002)

Transactions on Petri Nets and Other Models of Concurrency XII
Được phát hành: (2020)

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

An object-oriented approach to programming logic and design
Bỡi: Farrell, Joyce
Được phát hành: (2006)

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

Rewriting Logic and Its Applications
Bỡi: Rusu, Vlad
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

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

Principles of Programming Languages
Bỡi: Dowek, Gilles
Được phát hành: (2020)

Unifying Theories of Programming
Bỡi: Bowen, Jonathan P., et al.
Được phát hành: (2020)

Programming Languages and Systems
Được phát hành: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Bỡi: Eiter, Th, et al.
Được phát hành: (2015)

Multiparadigm Programming in Mozart/Oz
Được phát hành: (2020)

Program Analysis and Compilation, Theory and Practice
Bỡi: Reps, Thomas, et al.
Được phát hành: (2020)

Value-Range Analysis of C Programs
Bỡi: Simon, Axel
Được phát hành: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
Bỡi: Charles W. Kann
Được phát hành: (2004)

Types for Proofs and Programs
Được phát hành: (2020)

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

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

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

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

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

Deterministic Global Optimization. 1st ed. 2017
Bỡi: Sergeyev, Yaroslav D., et al.
Được phát hành: (2020)