Non-deterministic concurrent logic programming in Pandora /

Codice QR

Non-deterministic concurrent logic programming in Pandora /

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Bahgat, Reem.
Natura:	Sách giấy
Pubblicazione:	Singapore ; River Edge, NJ : World Scientific, c1993.
Serie:	Series in computer science ; vol. 37.
Soggetti:	Logic programming. Pandora (Computer program language)
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

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

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

Inductive Logic Programming
di: Riguzzi, Fabrizio, et al.
Pubblicazione: (2020)

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

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

Logic Programming and Nonmonotonic Reasoning
di: Balduccini, Marcello, et al.
Pubblicazione: (2020)

Programming logic and design, introductory
di: Joyce Farrell
Pubblicazione: (2008)

Programming logic and design : comprehensive
di: Joyce Farrell
Pubblicazione: (2007)

Logic Based Program Synthesis and Transformation
Pubblicazione: (2020)

Concurrency, Graphs and Models
di: Degano, Pierpaolo, et al.
Pubblicazione: (2020)

Inductive Logic Programming
di: Cussens, James, et al.
Pubblicazione: (2020)

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

Programming logic and design
di: Farrell, Joyce

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

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

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

Logic Programming and Nonmonotonic Reasoning
di: Baral, Chitta, et al.
Pubblicazione: (2020)

Programming logic and design, comprehensive
di: Farrell, Joyce
Pubblicazione: (2002)

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

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

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

Logic, Language, and Computation
di: Bezhanishvili, G, et al.
Pubblicazione: (2015)

Rewriting Logic and Its Applications
di: Rusu, Vlad
Pubblicazione: (2020)

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

Logic and Its Applications
Pubblicazione: (2020)

Principles of Programming Languages
di: Dowek, Gilles
Pubblicazione: (2020)

Unifying Theories of Programming
di: Bowen, Jonathan P., et al.
Pubblicazione: (2020)

Programming Languages and Systems
Pubblicazione: (2020)

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

Multiparadigm Programming in Mozart/Oz
Pubblicazione: (2020)

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

Value-Range Analysis of C Programs
di: Simon, Axel
Pubblicazione: (2020)

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

Types for Proofs and Programs
Pubblicazione: (2020)

P-Prolog, a parallel logic programming language
di: Yang, Rong
Pubblicazione: (1987)

Logic for computer scientists
di: Uwe Schoning
Pubblicazione: (1989)

Logic Programming
Pubblicazione: (2020)

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

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

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