Non-deterministic concurrent logic programming in Pandora /

Mã QR

Non-deterministic concurrent logic programming in Pandora /

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

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Bahgat, Reem.
Formáid:	Sách giấy
Foilsithe:	Singapore ; River Edge, NJ : World Scientific, c1993.
Sraith:	Series in computer science ; vol. 37.
Ábhair:	Logic programming. Pandora (Computer program language)
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

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

Inductive Logic Programming
le: Riguzzi, Fabrizio, et al.
Foilsithe: (2020)

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

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

Logic Programming and Nonmonotonic Reasoning
le: Balduccini, Marcello, et al.
Foilsithe: (2020)

Programming logic and design, introductory
le: Joyce Farrell
Foilsithe: (2008)

Programming logic and design : comprehensive
le: Joyce Farrell
Foilsithe: (2007)

Logic Based Program Synthesis and Transformation
Foilsithe: (2020)

Concurrency, Graphs and Models
le: Degano, Pierpaolo, et al.
Foilsithe: (2020)

Inductive Logic Programming
le: Cussens, James, et al.
Foilsithe: (2020)

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

Programming logic and design
le: Farrell, Joyce

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

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

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

Logic Programming and Nonmonotonic Reasoning
le: Baral, Chitta, et al.
Foilsithe: (2020)

Programming logic and design, comprehensive
le: Farrell, Joyce
Foilsithe: (2002)

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

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

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

Logic, Language, and Computation
le: Bezhanishvili, G, et al.
Foilsithe: (2015)

Rewriting Logic and Its Applications
le: Rusu, Vlad
Foilsithe: (2020)

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

Logic and Its Applications
Foilsithe: (2020)

Principles of Programming Languages
le: Dowek, Gilles
Foilsithe: (2020)

Unifying Theories of Programming
le: Bowen, Jonathan P., et al.
Foilsithe: (2020)

Programming Languages and Systems
Foilsithe: (2020)

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

Multiparadigm Programming in Mozart/Oz
Foilsithe: (2020)

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

Value-Range Analysis of C Programs
le: Simon, Axel
Foilsithe: (2020)

Types for Proofs and Programs
Foilsithe: (2020)

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

Logic for computer scientists
le: Uwe Schoning
Foilsithe: (1989)

P-Prolog, a parallel logic programming language
le: Yang, Rong
Foilsithe: (1987)

Logic Programming
Foilsithe: (2020)

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

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

Logic Programming
le: Gabbrielli, Maurizio, et al.
Foilsithe: (2020)