Non-deterministic concurrent logic programming in Pandora /

Codi QR

Non-deterministic concurrent logic programming in Pandora /

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Autor principal:	Bahgat, Reem.
Format:	Sách giấy
Publicat:	Singapore ; River Edge, NJ : World Scientific, c1993.
Col·lecció:	Series in computer science ; vol. 37.
Matèries:	Logic programming. Pandora (Computer program language)
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

Inductive Logic Programming
per: Riguzzi, Fabrizio, et al.
Publicat: (2020)

P-Prolog, a parallel logic programming language /
per: Yang, Rong.
Publicat: (1987)

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

Logic Programming and Nonmonotonic Reasoning
per: Balduccini, Marcello, et al.
Publicat: (2020)

Programming logic and design, introductory
per: Joyce Farrell
Publicat: (2008)

Programming logic and design : comprehensive
per: Joyce Farrell
Publicat: (2007)

Logic Based Program Synthesis and Transformation
Publicat: (2020)

Concurrency, Graphs and Models
per: Degano, Pierpaolo, et al.
Publicat: (2020)

Inductive Logic Programming
per: Cussens, James, et al.
Publicat: (2020)

Concurrency, Security, and Puzzles
per: Gibson-Robinson, Thomas, et al.
Publicat: (2020)

Programming logic and design
per: Farrell, Joyce

Foundations of inductive logic programming /
per: Nienhuys-Cheng, S. -H. 1943-
Publicat: (1997)

Application and Theory of Petri Nets and Concurrency
per: Khomenko, Victor, et al.
Publicat: (2020)

Application and Theory of Petri Nets and Concurrency
per: Aalst, Wil van der, et al.
Publicat: (2020)

Logic Programming and Nonmonotonic Reasoning
per: Baral, Chitta, et al.
Publicat: (2020)

Programming logic and design, comprehensive
per: Farrell, Joyce
Publicat: (2002)

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

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

An object-oriented approach to programming logic and design
per: Farrell, Joyce
Publicat: (2006)

Logic, Language, and Computation
per: Bezhanishvili, G, et al.
Publicat: (2015)

Rewriting Logic and Its Applications
per: Rusu, Vlad
Publicat: (2020)

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

Logic and Its Applications
Publicat: (2020)

Principles of Programming Languages
per: Dowek, Gilles
Publicat: (2020)

Unifying Theories of Programming
per: Bowen, Jonathan P., et al.
Publicat: (2020)

Programming Languages and Systems
Publicat: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
per: Eiter, Th, et al.
Publicat: (2015)

Multiparadigm Programming in Mozart/Oz
Publicat: (2020)

Program Analysis and Compilation, Theory and Practice
per: Reps, Thomas, et al.
Publicat: (2020)

Value-Range Analysis of C Programs
per: Simon, Axel
Publicat: (2020)

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

Types for Proofs and Programs
Publicat: (2020)

P-Prolog, a parallel logic programming language
per: Yang, Rong
Publicat: (1987)

Logic Programming
Publicat: (2020)

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

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

Logical Foundations of Computer Science. 1st ed. 2018
per: Artemov, Sergei, et al.
Publicat: (2020)

Deterministic Global Optimization. 1st ed. 2017
per: Sergeyev, Yaroslav D., et al.
Publicat: (2020)