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:

書目詳細資料
主要作者:	Bahgat, Reem.
格式:	Sách giấy
出版:	Singapore ; River Edge, NJ : World Scientific, c1993.
叢編:	Series in computer science ; vol. 37.
主題:	Logic programming. Pandora (Computer program language)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

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

相似書籍

Non-deterministic concurrent logic programming in Pandora /
由: Bahgat, Reem.
出版: (1993)

A guide to programming logic and design /
由: Farrell, Joyce.
出版: (1999)

Inductive Logic Programming
由: Riguzzi, Fabrizio, et al.
出版: (2020)

P-Prolog, a parallel logic programming language /
由: Yang, Rong.
出版: (1987)

Logic-Based Program Synthesis and Transformation
由: Hermenegildo, Manuel V, et al.
出版: (2020)

Logic Programming and Nonmonotonic Reasoning
由: Balduccini, Marcello, et al.
出版: (2020)

Programming logic and design, introductory
由: Joyce Farrell
出版: (2008)

Programming logic and design : comprehensive
由: Joyce Farrell
出版: (2007)

Logic Based Program Synthesis and Transformation
出版: (2020)

Concurrency, Graphs and Models
由: Degano, Pierpaolo, et al.
出版: (2020)

Inductive Logic Programming
由: Cussens, James, et al.
出版: (2020)

Concurrency, Security, and Puzzles
由: Gibson-Robinson, Thomas, et al.
出版: (2020)

Programming logic and design
由: Farrell, Joyce

Foundations of inductive logic programming /
由: Nienhuys-Cheng, S. -H. 1943-
出版: (1997)

Application and Theory of Petri Nets and Concurrency
由: Khomenko, Victor, et al.
出版: (2020)

Application and Theory of Petri Nets and Concurrency
由: Aalst, Wil van der, et al.
出版: (2020)

Logic Programming and Nonmonotonic Reasoning
由: Baral, Chitta, et al.
出版: (2020)

Programming logic and design, comprehensive
由: Farrell, Joyce
出版: (2002)

Transactions on Petri Nets and Other Models of Concurrency XII
出版: (2020)

Logic-Based Program Synthesis and Transformation
由: Fioravanti, Fabio, et al.
出版: (2020)

An object-oriented approach to programming logic and design
由: Farrell, Joyce
出版: (2006)

Logic, Language, and Computation
由: Bezhanishvili, G, et al.
出版: (2015)

Rewriting Logic and Its Applications
由: Rusu, Vlad
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版: (2020)

Logic and Its Applications
出版: (2020)

Principles of Programming Languages
由: Dowek, Gilles
出版: (2020)

Unifying Theories of Programming
由: Bowen, Jonathan P., et al.
出版: (2020)

Programming Languages and Systems
出版: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
由: Eiter, Th, et al.
出版: (2015)

Multiparadigm Programming in Mozart/Oz
出版: (2020)

Program Analysis and Compilation, Theory and Practice
由: Reps, Thomas, et al.
出版: (2020)

Value-Range Analysis of C Programs
由: Simon, Axel
出版: (2020)

Types for Proofs and Programs
出版: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
由: Charles W. Kann
出版: (2004)

Logic for computer scientists
由: Uwe Schoning
出版: (1989)

P-Prolog, a parallel logic programming language
由: Yang, Rong
出版: (1987)

Logic Programming
出版: (2020)

Logic, Language, Information, and Computation
由: Moss, Lawrence S., et al.
出版: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
由: Artemov, Sergei, et al.
出版: (2020)

Logic Programming
由: Gabbrielli, Maurizio, et al.
出版: (2020)