P-Prolog, a parallel logic programming language

Mã QR

P-Prolog, a parallel logic programming language

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

P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph pre...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Yang, Rong
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Singapore ; Teaneck, N.J. World Scientific 1987
Những chủ đề:	P-Prolog (Computer program language); Parallel programming (Computer science); P-Prolog (Lập trình ngôn ngữ máy tính); Logic programming.; Lập trình song song (Khoa học máy tính); Lập trình Logic
Truy cập trực tuyến:	http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=34546
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ữ:	Trung tâm Học liệu Trường Đại học Thủ Dầu Một

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

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

Lập trình logic trong Prolog
Bỡi: Phan Huy Khánh
Được phát hành: (2004)

Lập trình lôgic trong Prolog /
Bỡi: Phan Huy Khánh

Prolog programming for artificial intelligence /
Bỡi: Bratko, Ivan, 1946--
Được phát hành: (1990)

Prolog and expert systems
Bỡi: Bowen, Kenneth A.
Được phát hành: (1991)

Deductive databases and their applications /
Bỡi: Colomb, Robert M.
Được phát hành: (1998)

Artificial intelligence techniques in prolog
Bỡi: Shoham, Yoav
Được phát hành: (1994)

Prolog programming for artificial intelligence
Bỡi: Bratko, Ivan
Được phát hành: (2012)

Efficient parallel algorithms
Bỡi: Gibbons, Alan
Được phát hành: (1989)

Principles of parallel programming
Bỡi: Lin, Calvin
Được phát hành: (2009)

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

Prolog
Bỡi: Ivan Bratko
Được phát hành: (1990)

The practice of programming
Bỡi: Kernighan, Brian W.
Được phát hành: (1999)

Computer program design
Bỡi: Dickson, Elizabeth A.
Được phát hành: (1997)

Basic integrative programming technologies : Data integration technologyArchitectures
Bỡi: Konga, Sathish Kumar
Được phát hành: (2012)

Designing scientific applications on GPUs
Được phát hành: (2014)

UPC :
Được phát hành: (2005)

Parallel programming : techniques and applications using networked workstations and parallel computers /
Bỡi: Wilkinson, Barry.
Được phát hành: (1999)

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

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

OS X for hackers at heart :
Được phát hành: (2005)

Những viên ngọc lập trình =
Bỡi: Bentley, Jon
Được phát hành: (2002)

The STL <primer>
Bỡi: Glass, Graham
Được phát hành: (1996)

Nghiên cứu kiến trúc hướng dịch vụ để xây dựng công thông tin tích hợp các dịch vụ đào tạo nghề :
Bỡi: Lê, Văn Tân
Được phát hành: (2010)

Getting a coding job for dummies
Bỡi: Abraham, Nikhil
Được phát hành: (2015)

Phân tích giọng hát từ hỗn hợp âm nhạc :
Bỡi: Nguyễn, Tấn Phú
Được phát hành: (2019)

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

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

Parallel programming :
Bỡi: Wilkinson, Barry
Được phát hành: (2005)

Parallel programming : an introduction /
Bỡi: Bräunl, Thomas.
Được phát hành: (1993)

Bài tập lập trình cơ sở
Bỡi: Nguyễn, Hữu Ngự
Được phát hành: (2009)

The C Programming Language
Bỡi: Kernighan, Brian W.
Được phát hành: (1978)

Programming in visual C# 2005
Bỡi: Bradley, Julia Case
Được phát hành: (2008)

Programming in visual C# 2005
Bỡi: Bradley, Julia Case
Được phát hành: (2008)

Programming in visual C# 2005
Bỡi: Bradley, Julia Case
Được phát hành: (2008)

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)

Lập trình lôgic trong Prolog
Bỡi: Phan Huy Khánh
Được phát hành: (2004)

Artificial intelligence :
Bỡi: Luger, George F.
Được phát hành: (2001)

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_r7m9mar38pvjdliqtbhpshov87
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235