Non-deterministic concurrent logic programming in Pandora /

क्यूआर कोड

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)