Non-deterministic concurrent logic programming in Pandora /

QR kód

Non-deterministic concurrent logic programming in Pandora /

Zobrazit další vydání (1)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Bahgat, Reem.
Médium:	Sách giấy
Vydáno:	Singapore ; River Edge, NJ : World Scientific, c1993.
Edice:	Series in computer science ; vol. 37.
Témata:	Logic programming. Pandora (Computer program language)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Non-deterministic concurrent logic programming in Pandora /
Autor: Bahgat, Reem.
Vydáno: (1993)

A guide to programming logic and design /
Autor: Farrell, Joyce.
Vydáno: (1999)

Inductive Logic Programming
Autor: Riguzzi, Fabrizio, a další
Vydáno: (2020)

P-Prolog, a parallel logic programming language /
Autor: Yang, Rong.
Vydáno: (1987)

Logic-Based Program Synthesis and Transformation
Autor: Hermenegildo, Manuel V, a další
Vydáno: (2020)

Logic Programming and Nonmonotonic Reasoning
Autor: Balduccini, Marcello, a další
Vydáno: (2020)

Programming logic and design, introductory
Autor: Joyce Farrell
Vydáno: (2008)

Programming logic and design : comprehensive
Autor: Joyce Farrell
Vydáno: (2007)

Logic Based Program Synthesis and Transformation
Vydáno: (2020)

Concurrency, Graphs and Models
Autor: Degano, Pierpaolo, a další
Vydáno: (2020)

Inductive Logic Programming
Autor: Cussens, James, a další
Vydáno: (2020)

Concurrency, Security, and Puzzles
Autor: Gibson-Robinson, Thomas, a další
Vydáno: (2020)

Programming logic and design
Autor: Farrell, Joyce

Foundations of inductive logic programming /
Autor: Nienhuys-Cheng, S. -H. 1943-
Vydáno: (1997)

Application and Theory of Petri Nets and Concurrency
Autor: Khomenko, Victor, a další
Vydáno: (2020)

Application and Theory of Petri Nets and Concurrency
Autor: Aalst, Wil van der, a další
Vydáno: (2020)

Logic Programming and Nonmonotonic Reasoning
Autor: Baral, Chitta, a další
Vydáno: (2020)

Programming logic and design, comprehensive
Autor: Farrell, Joyce
Vydáno: (2002)

Transactions on Petri Nets and Other Models of Concurrency XII
Vydáno: (2020)

Logic-Based Program Synthesis and Transformation
Autor: Fioravanti, Fabio, a další
Vydáno: (2020)

An object-oriented approach to programming logic and design
Autor: Farrell, Joyce
Vydáno: (2006)

Logic, Language, and Computation
Autor: Bezhanishvili, G, a další
Vydáno: (2015)

Rewriting Logic and Its Applications
Autor: Rusu, Vlad
Vydáno: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Vydáno: (2020)

Logic and Its Applications
Vydáno: (2020)

Principles of Programming Languages
Autor: Dowek, Gilles
Vydáno: (2020)

Unifying Theories of Programming
Autor: Bowen, Jonathan P., a další
Vydáno: (2020)

Programming Languages and Systems
Vydáno: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Autor: Eiter, Th, a další
Vydáno: (2015)

Multiparadigm Programming in Mozart/Oz
Vydáno: (2020)

Program Analysis and Compilation, Theory and Practice
Autor: Reps, Thomas, a další
Vydáno: (2020)

Value-Range Analysis of C Programs
Autor: Simon, Axel
Vydáno: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
Autor: Charles W. Kann
Vydáno: (2004)

Types for Proofs and Programs
Vydáno: (2020)

P-Prolog, a parallel logic programming language
Autor: Yang, Rong
Vydáno: (1987)

Logic for computer scientists
Autor: Uwe Schoning
Vydáno: (1989)

Logic Programming
Vydáno: (2020)

Logic, Language, Information, and Computation
Autor: Moss, Lawrence S., a další
Vydáno: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Autor: Artemov, Sergei, a další
Vydáno: (2020)

Deterministic Global Optimization. 1st ed. 2017
Autor: Sergeyev, Yaroslav D., a další
Vydáno: (2020)