Non-deterministic concurrent logic programming in Pandora /

Κώδικας QR

Non-deterministic concurrent logic programming in Pandora /

Εμφάνιση άλλων εκδόσεων (1)

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	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, κ.ά.
Έκδοση: (2020)

P-Prolog, a parallel logic programming language /
ανά: Yang, Rong.
Έκδοση: (1987)

Logic-Based Program Synthesis and Transformation
ανά: Hermenegildo, Manuel V, κ.ά.
Έκδοση: (2020)

Logic Programming and Nonmonotonic Reasoning
ανά: Balduccini, Marcello, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Cussens, James, κ.ά.
Έκδοση: (2020)

Concurrency, Security, and Puzzles
ανά: Gibson-Robinson, Thomas, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

Application and Theory of Petri Nets and Concurrency
ανά: Aalst, Wil van der, κ.ά.
Έκδοση: (2020)

Logic Programming and Nonmonotonic Reasoning
ανά: Baral, Chitta, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2020)

An object-oriented approach to programming logic and design
ανά: Farrell, Joyce
Έκδοση: (2006)

Logic, Language, and Computation
ανά: Bezhanishvili, G, κ.ά.
Έκδοση: (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., κ.ά.
Έκδοση: (2020)

Programming Languages and Systems
Έκδοση: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
ανά: Eiter, Th, κ.ά.
Έκδοση: (2015)

Multiparadigm Programming in Mozart/Oz
Έκδοση: (2020)

Program Analysis and Compilation, Theory and Practice
ανά: Reps, Thomas, κ.ά.
Έκδοση: (2020)

Value-Range Analysis of C Programs
ανά: Simon, Axel
Έκδοση: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
ανά: Charles W. Kann
Έκδοση: (2004)

Types for Proofs and Programs
Έκδοση: (2020)

P-Prolog, a parallel logic programming language
ανά: Yang, Rong
Έκδοση: (1987)

Logic Programming
Έκδοση: (2020)

Logic for computer scientists
ανά: Uwe Schoning
Έκδοση: (1989)

Logic, Language, Information, and Computation
ανά: Moss, Lawrence S., κ.ά.
Έκδοση: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
ανά: Artemov, Sergei, κ.ά.
Έκδοση: (2020)

Deterministic Global Optimization. 1st ed. 2017
ανά: Sergeyev, Yaroslav D., κ.ά.
Έκδοση: (2020)