P-Prolog, a parallel logic programming language /

QR Kod

P-Prolog, a parallel logic programming language /

Diğer sürümleri göster (1)

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Yang, Rong.
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	Singapore ; Teaneck, N.J. : World Scientific, c1987.
Seri Bilgileri:	Series in computer science ; vol. 9
Konular:	Logic programming. P-Prolog (Computer program language) Parallel programming (Computer science)
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

P-Prolog, a parallel logic programming language
Yazar:: Yang, Rong
Baskı/Yayın Bilgisi: (1987)

Parallel programming : techniques and applications using networked workstations and parallel computers /
Yazar:: Wilkinson, Barry.
Baskı/Yayın Bilgisi: (1999)

Prolog programming for artificial intelligence /
Yazar:: Bratko, Ivan, 1946--
Baskı/Yayın Bilgisi: (1990)

Prolog and expert systems
Yazar:: Bowen, Kenneth A.
Baskı/Yayın Bilgisi: (1991)

Parallel programming :
Yazar:: Wilkinson, Barry
Baskı/Yayın Bilgisi: (2005)

Parallel programming : an introduction /
Yazar:: Bräunl, Thomas.
Baskı/Yayın Bilgisi: (1993)

Parallel programming in C with MPI and openMP
Yazar:: Quinn, Michael J.
Baskı/Yayın Bilgisi: (2004)

Artificial intelligence techniques in prolog
Yazar:: Shoham, Yoav
Baskı/Yayın Bilgisi: (1994)

Deductive databases and their applications /
Yazar:: Colomb, Robert M.
Baskı/Yayın Bilgisi: (1998)

Parallel algorithms
Yazar:: Casanova, Henri
Baskı/Yayın Bilgisi: (2009)

Programming massively parallel processors hands-on with CUDA /
Yazar:: Kirk, David, 1960-
Baskı/Yayın Bilgisi: (2010)

High performance parallelism pearls

Foundations of multithreaded, parallel, and distributed programming
Yazar:: Gregory R. Andrews
Baskı/Yayın Bilgisi: (2000)

A guide to programming logic and design /
Yazar:: Farrell, Joyce.
Baskı/Yayın Bilgisi: (1999)

Introduction to parallel algorithms /
Yazar:: Xavier, C.
Baskı/Yayın Bilgisi: (1998)

Prolog
Yazar:: Ivan Bratko
Baskı/Yayın Bilgisi: (1990)

Non-deterministic concurrent logic programming in Pandora /
Yazar:: Bahgat, Reem.
Baskı/Yayın Bilgisi: (1993)

Non-deterministic concurrent logic programming in Pandora /
Yazar:: Bahgat, Reem.
Baskı/Yayın Bilgisi: (1993)

Inductive Logic Programming
Yazar:: Riguzzi, Fabrizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi: (2020)

Logic-Based Program Synthesis and Transformation
Yazar:: Hermenegildo, Manuel V, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Principles of Programming Languages
Yazar:: Dowek, Gilles
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems
Baskı/Yayın Bilgisi: (2020)

Lập trình logic trong Prolog
Yazar:: Phan Huy Khánh
Baskı/Yayın Bilgisi: (2004)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Balduccini, Marcello, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Principles of parallel programming
Yazar:: Lin, Calvin
Baskı/Yayın Bilgisi: (2009)

Logic, Language, and Computation
Yazar:: Bezhanishvili, G, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Inductive Logic Programming
Yazar:: Cussens, James, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for Parallel Computing
Yazar:: Pugh, Bill, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Parallel scientific computing in C++ and MPI: A seamless approach to parallel algorithms and their implementation
Yazar:: George Em Karniadakis
Baskı/Yayın Bilgisi: (2003)

Programming language pragmatics

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Baral, Chitta, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Lập trình Turbo Prolog 2.0: Tài liệu photocopy
Yazar:: Phan Trương Dần
Baskı/Yayın Bilgisi: (1993)

Logic-Based Program Synthesis and Transformation
Yazar:: Fioravanti, Fabio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
Yazar:: Charles W. Kann
Baskı/Yayın Bilgisi: (2004)

Types for Proofs and Programs
Baskı/Yayın Bilgisi: (2020)

Rewriting Logic and Its Applications
Yazar:: Rusu, Vlad
Baskı/Yayın Bilgisi: (2020)

Programming language concepts and paradigms /
Yazar:: Watt, David A.
Baskı/Yayın Bilgisi: (1990)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)