Non-deterministic concurrent logic programming in Pandora /

QR Kod

Non-deterministic concurrent logic programming in Pandora /

Diğer sürümleri göster (1)

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Bahgat, Reem.
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	Singapore ; River Edge, NJ : World Scientific, c1993.
Seri Bilgileri:	Series in computer science ; vol. 37.
Konular:	Logic programming. Pandora (Computer program language)
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Non-deterministic concurrent logic programming in Pandora /
Yazar:: Bahgat, Reem.
Baskı/Yayın Bilgisi: (1993)

A guide to programming logic and design /
Yazar:: Farrell, Joyce.
Baskı/Yayın Bilgisi: (1999)

Inductive Logic Programming
Yazar:: Riguzzi, Fabrizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

P-Prolog, a parallel logic programming language /
Yazar:: Yang, Rong.
Baskı/Yayın Bilgisi: (1987)

Logic-Based Program Synthesis and Transformation
Yazar:: Hermenegildo, Manuel V, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Balduccini, Marcello, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming logic and design, introductory
Yazar:: Joyce Farrell
Baskı/Yayın Bilgisi: (2008)

Programming logic and design : comprehensive
Yazar:: Joyce Farrell
Baskı/Yayın Bilgisi: (2007)

Logic Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi: (2020)

Concurrency, Graphs and Models
Yazar:: Degano, Pierpaolo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Cussens, James, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Concurrency, Security, and Puzzles
Yazar:: Gibson-Robinson, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming logic and design
Yazar:: Farrell, Joyce

Foundations of inductive logic programming /
Yazar:: Nienhuys-Cheng, S. -H. 1943-
Baskı/Yayın Bilgisi: (1997)

Application and Theory of Petri Nets and Concurrency
Yazar:: Khomenko, Victor, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Application and Theory of Petri Nets and Concurrency
Yazar:: Aalst, Wil van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Baral, Chitta, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming logic and design, comprehensive
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2002)

Transactions on Petri Nets and Other Models of Concurrency XII
Baskı/Yayın Bilgisi: (2020)

Logic-Based Program Synthesis and Transformation
Yazar:: Fioravanti, Fabio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An object-oriented approach to programming logic and design
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2006)

Logic, Language, and Computation
Yazar:: Bezhanishvili, G, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Rewriting Logic and Its Applications
Yazar:: Rusu, Vlad
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Baskı/Yayın Bilgisi: (2020)

Logic and Its Applications
Baskı/Yayın Bilgisi: (2020)

Principles of Programming Languages
Yazar:: Dowek, Gilles
Baskı/Yayın Bilgisi: (2020)

Unifying Theories of Programming
Yazar:: Bowen, Jonathan P., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems
Baskı/Yayın Bilgisi: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Yazar:: Eiter, Th, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Multiparadigm Programming in Mozart/Oz
Baskı/Yayın Bilgisi: (2020)

Program Analysis and Compilation, Theory and Practice
Yazar:: Reps, Thomas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Value-Range Analysis of C Programs
Yazar:: Simon, Axel
Baskı/Yayın Bilgisi: (2020)

Creating components: Object oriented, concurrent, and distributed computing in Java
Yazar:: Charles W. Kann
Baskı/Yayın Bilgisi: (2004)

Types for Proofs and Programs
Baskı/Yayın Bilgisi: (2020)

P-Prolog, a parallel logic programming language
Yazar:: Yang, Rong
Baskı/Yayın Bilgisi: (1987)

Logic Programming
Baskı/Yayın Bilgisi: (2020)

Logic for computer scientists
Yazar:: Uwe Schoning
Baskı/Yayın Bilgisi: (1989)

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Yazar:: Artemov, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Deterministic Global Optimization. 1st ed. 2017
Yazar:: Sergeyev, Yaroslav D., ve diğerleri
Baskı/Yayın Bilgisi: (2020)