Non-deterministic concurrent logic programming in Pandora /

QR Code (код быстрого отклика)

Non-deterministic concurrent logic programming in Pandora /

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

Сохранить в:

Библиографические подробности
Главный автор:	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)
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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, et al.
Опубликовано: (2020)

P-Prolog, a parallel logic programming language /
по: Yang, Rong.
Опубликовано: (1987)

Logic-Based Program Synthesis and Transformation
по: Hermenegildo, Manuel V, et al.
Опубликовано: (2020)

Logic Programming and Nonmonotonic Reasoning
по: Balduccini, Marcello, et al.
Опубликовано: (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, et al.
Опубликовано: (2020)

Inductive Logic Programming
по: Cussens, James, et al.
Опубликовано: (2020)

Concurrency, Security, and Puzzles
по: Gibson-Robinson, Thomas, et al.
Опубликовано: (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, et al.
Опубликовано: (2020)

Application and Theory of Petri Nets and Concurrency
по: Aalst, Wil van der, et al.
Опубликовано: (2020)

Logic Programming and Nonmonotonic Reasoning
по: Baral, Chitta, et al.
Опубликовано: (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, et al.
Опубликовано: (2020)

An object-oriented approach to programming logic and design
по: Farrell, Joyce
Опубликовано: (2006)

Logic, Language, and Computation
по: Bezhanishvili, G, et al.
Опубликовано: (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., et al.
Опубликовано: (2020)

Programming Languages and Systems
Опубликовано: (2020)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
по: Eiter, Th, et al.
Опубликовано: (2015)

Multiparadigm Programming in Mozart/Oz
Опубликовано: (2020)

Program Analysis and Compilation, Theory and Practice
по: Reps, Thomas, et al.
Опубликовано: (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., et al.
Опубликовано: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
по: Artemov, Sergei, et al.
Опубликовано: (2020)

Deterministic Global Optimization. 1st ed. 2017
по: Sergeyev, Yaroslav D., et al.
Опубликовано: (2020)