P-Prolog, a parallel logic programming language /

Côd QR

P-Prolog, a parallel logic programming language /

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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Yang, Rong.
Fformat:	Sách giấy
Cyhoeddwyd:	Singapore ; Teaneck, N.J. : World Scientific, c1987.
Cyfres:	Series in computer science ; vol. 9
Pynciau:	Logic programming. P-Prolog (Computer program language) Parallel programming (Computer science)
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

P-Prolog, a parallel logic programming language
gan: Yang, Rong
Cyhoeddwyd: (1987)

Parallel programming : techniques and applications using networked workstations and parallel computers /
gan: Wilkinson, Barry.
Cyhoeddwyd: (1999)

Prolog programming for artificial intelligence /
gan: Bratko, Ivan, 1946--
Cyhoeddwyd: (1990)

Prolog and expert systems
gan: Bowen, Kenneth A.
Cyhoeddwyd: (1991)

Parallel programming :
gan: Wilkinson, Barry
Cyhoeddwyd: (2005)

Parallel programming : an introduction /
gan: Bräunl, Thomas.
Cyhoeddwyd: (1993)

Parallel programming in C with MPI and openMP
gan: Quinn, Michael J.
Cyhoeddwyd: (2004)

Artificial intelligence techniques in prolog
gan: Shoham, Yoav
Cyhoeddwyd: (1994)

Deductive databases and their applications /
gan: Colomb, Robert M.
Cyhoeddwyd: (1998)

Parallel algorithms
gan: Casanova, Henri
Cyhoeddwyd: (2009)

Programming massively parallel processors hands-on with CUDA /
gan: Kirk, David, 1960-
Cyhoeddwyd: (2010)

High performance parallelism pearls

Foundations of multithreaded, parallel, and distributed programming
gan: Gregory R. Andrews
Cyhoeddwyd: (2000)

A guide to programming logic and design /
gan: Farrell, Joyce.
Cyhoeddwyd: (1999)

Introduction to parallel algorithms /
gan: Xavier, C.
Cyhoeddwyd: (1998)

Prolog
gan: Ivan Bratko
Cyhoeddwyd: (1990)

Non-deterministic concurrent logic programming in Pandora /
gan: Bahgat, Reem.
Cyhoeddwyd: (1993)

Non-deterministic concurrent logic programming in Pandora /
gan: Bahgat, Reem.
Cyhoeddwyd: (1993)

Inductive Logic Programming
gan: Riguzzi, Fabrizio, et al.
Cyhoeddwyd: (2020)

Logic Based Program Synthesis and Transformation
Cyhoeddwyd: (2020)

Logic-Based Program Synthesis and Transformation
gan: Hermenegildo, Manuel V, et al.
Cyhoeddwyd: (2020)

Principles of Programming Languages
gan: Dowek, Gilles
Cyhoeddwyd: (2020)

Programming Languages and Systems
Cyhoeddwyd: (2020)

Lập trình logic trong Prolog
gan: Phan Huy Khánh
Cyhoeddwyd: (2004)

Logic Programming and Nonmonotonic Reasoning
gan: Balduccini, Marcello, et al.
Cyhoeddwyd: (2020)

Principles of parallel programming
gan: Lin, Calvin
Cyhoeddwyd: (2009)

Logic, Language, and Computation
gan: Bezhanishvili, G, et al.
Cyhoeddwyd: (2015)

Inductive Logic Programming
gan: Cussens, James, et al.
Cyhoeddwyd: (2020)

Languages and Compilers for Parallel Computing
gan: Pugh, Bill, et al.
Cyhoeddwyd: (2020)

Parallel scientific computing in C++ and MPI: A seamless approach to parallel algorithms and their implementation
gan: George Em Karniadakis
Cyhoeddwyd: (2003)

Programming language pragmatics

Logic, Language, Information, and Computation
gan: Moss, Lawrence S., et al.
Cyhoeddwyd: (2020)

Logic Programming and Nonmonotonic Reasoning
gan: Baral, Chitta, et al.
Cyhoeddwyd: (2020)

Lập trình Turbo Prolog 2.0: Tài liệu photocopy
gan: Phan Trương Dần
Cyhoeddwyd: (1993)

Logic-Based Program Synthesis and Transformation
gan: Fioravanti, Fabio, et al.
Cyhoeddwyd: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
gan: Charles W. Kann
Cyhoeddwyd: (2004)

Types for Proofs and Programs
Cyhoeddwyd: (2020)

Rewriting Logic and Its Applications
gan: Rusu, Vlad
Cyhoeddwyd: (2020)

Programming language concepts and paradigms /
gan: Watt, David A.
Cyhoeddwyd: (1990)

Logic, Language, and Computation
Cyhoeddwyd: (2020)