Non-deterministic concurrent logic programming in Pandora /

QR koda

Non-deterministic concurrent logic programming in Pandora /

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Bahgat, Reem.
Format:	Sách giấy
Izdano:	Singapore ; River Edge, NJ : World Scientific, c1993.
Serija:	Series in computer science ; vol. 37.
Teme:	Logic programming. Pandora (Computer program language)
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

Inductive Logic Programming
od: Riguzzi, Fabrizio, et al.
Izdano: (2020)

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

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

Logic Programming and Nonmonotonic Reasoning
od: Balduccini, Marcello, et al.
Izdano: (2020)

Programming logic and design, introductory
od: Joyce Farrell
Izdano: (2008)

Programming logic and design : comprehensive
od: Joyce Farrell
Izdano: (2007)

Logic Based Program Synthesis and Transformation
Izdano: (2020)

Concurrency, Graphs and Models
od: Degano, Pierpaolo, et al.
Izdano: (2020)

Inductive Logic Programming
od: Cussens, James, et al.
Izdano: (2020)

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

Programming logic and design
od: Farrell, Joyce

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

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

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

Logic Programming and Nonmonotonic Reasoning
od: Baral, Chitta, et al.
Izdano: (2020)

Programming logic and design, comprehensive
od: Farrell, Joyce
Izdano: (2002)

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

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

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

Logic, Language, and Computation
od: Bezhanishvili, G, et al.
Izdano: (2015)

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

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

Logic and Its Applications
Izdano: (2020)

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

Unifying Theories of Programming
od: Bowen, Jonathan P., et al.
Izdano: (2020)

Programming Languages and Systems
Izdano: (2020)

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

Multiparadigm Programming in Mozart/Oz
Izdano: (2020)

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

Value-Range Analysis of C Programs
od: Simon, Axel
Izdano: (2020)

Types for Proofs and Programs
Izdano: (2020)

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

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

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

Logic Programming
Izdano: (2020)

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

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

Logic Programming
od: Gabbrielli, Maurizio, et al.
Izdano: (2020)