P-Prolog, a parallel logic programming language /

kod QR

P-Prolog, a parallel logic programming language /

Pokaż inne wersje (1)

Zapisane w:

Opis bibliograficzny
1. autor:	Yang, Rong.
Format:	Sách giấy
Wydane:	Singapore ; Teaneck, N.J. : World Scientific, c1987.
Seria:	Series in computer science ; vol. 9
Hasła przedmiotowe:	Logic programming. P-Prolog (Computer program language) Parallel programming (Computer science)
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

P-Prolog, a parallel logic programming language
od: Yang, Rong
Wydane: (1987)

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

Prolog programming for artificial intelligence /
od: Bratko, Ivan, 1946--
Wydane: (1990)

Prolog and expert systems
od: Bowen, Kenneth A.
Wydane: (1991)

Parallel programming :
od: Wilkinson, Barry
Wydane: (2005)

Parallel programming : an introduction /
od: Bräunl, Thomas.
Wydane: (1993)

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

Artificial intelligence techniques in prolog
od: Shoham, Yoav
Wydane: (1994)

Deductive databases and their applications /
od: Colomb, Robert M.
Wydane: (1998)

Parallel algorithms
od: Casanova, Henri
Wydane: (2009)

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

High performance parallelism pearls

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

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

Introduction to parallel algorithms /
od: Xavier, C.
Wydane: (1998)

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

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

Prolog
od: Ivan Bratko
Wydane: (1990)

Inductive Logic Programming
od: Riguzzi, Fabrizio, i wsp.
Wydane: (2020)

Logic Based Program Synthesis and Transformation
Wydane: (2020)

Logic-Based Program Synthesis and Transformation
od: Hermenegildo, Manuel V, i wsp.
Wydane: (2020)

Principles of Programming Languages
od: Dowek, Gilles
Wydane: (2020)

Programming Languages and Systems
Wydane: (2020)

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

Logic Programming and Nonmonotonic Reasoning
od: Balduccini, Marcello, i wsp.
Wydane: (2020)

Principles of parallel programming
od: Lin, Calvin
Wydane: (2009)

Logic, Language, and Computation
od: Bezhanishvili, G, i wsp.
Wydane: (2015)

Inductive Logic Programming
od: Cussens, James, i wsp.
Wydane: (2020)

Languages and Compilers for Parallel Computing
od: Pugh, Bill, i wsp.
Wydane: (2020)

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

Programming language pragmatics

Logic, Language, Information, and Computation
od: Moss, Lawrence S., i wsp.
Wydane: (2020)

Logic Programming and Nonmonotonic Reasoning
od: Baral, Chitta, i wsp.
Wydane: (2020)

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

Logic-Based Program Synthesis and Transformation
od: Fioravanti, Fabio, i wsp.
Wydane: (2020)

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

Types for Proofs and Programs
Wydane: (2020)

Rewriting Logic and Its Applications
od: Rusu, Vlad
Wydane: (2020)

Programming language concepts and paradigms /
od: Watt, David A.
Wydane: (1990)

Logic, Language, and Computation
Wydane: (2020)