Declarative Programming and Knowledge Management

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

Declarative Programming and Knowledge Management

Сохранить в:

Библиографические подробности
Главные авторы:	Seipel, Dietmar, Hanus, Michael, Abreu, Salvador
Формат:	‌
Язык:	English
Опубликовано:	Springer International Publishing 2020
Предметы:	Computer Science Programming Techniques Software Engineering
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87318
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Applications of Declarative Programming and Knowledge Management
Опубликовано: (2020)

Practical Aspects of Declarative Languages
по: Hanus, Michael
Опубликовано: (2020)

Programming with Actors
по: Ricci, Alessandro, et al.
Опубликовано: (2020)

Trends in Functional Programming
по: Wang, Meng, et al.
Опубликовано: (2020)

ECOOP - Object-Oriented Programming
по: Ernst, Erik
Опубликовано: (2020)

Bad Programming Practices 101
по: Beecher, Karl
Опубликовано: (2020)

ECOOP 2005 - Object-Oriented Programming
по: Black, Andrew
Опубликовано: (2020)

Extreme Programming and Agile Processes in Software Engineering
Опубликовано: (2020)

Principles and Practice of Constraint Programming - CP 2009
Опубликовано: (2020)

Agile Processes in Software Engineering and Extreme Programming
по: Concas, Giulio, et al.
Опубликовано: (2020)

Genetic Programming
по: O'Neill, Michael, et al.
Опубликовано: (2020)

Practical Aspects of Declarative Languages
Опубликовано: (2020)

Practical Aspects of Declarative Languages
по: Hudak, Paul, et al.
Опубликовано: (2020)

Practical Aspects of Declarative Languages
по: Lierler, Yuliya, et al.
Опубликовано: (2020)

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

Logic Programming
по: Dahl, Verónica, et al.
Опубликовано: (2020)

Practical Aspects of Declarative Languages
по: Komendantskaya, Ekaterina, et al.
Опубликовано: (2020)

Advanced Functional Programming
по: Vene, Varmo, et al.
Опубликовано: (2020)

Datatype-Generic Programming
по: Backhouse, Roland, et al.
Опубликовано: (2020)

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

Multi-Agent Programming
Опубликовано: (2020)

Mathematics of Program Construction
по: Audebaud, Philippe, et al.
Опубликовано: (2020)

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

Declarative Agent Languages and Technologies VI
Опубликовано: (2020)

Declarative Agent Languages and Technologies II
Опубликовано: (2020)

Software Architecture Knowledge Management
Опубликовано: (2020)

Logic-Based Program Synthesis and Transformation
Опубликовано: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Опубликовано: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
по: Sutcliffe, Geoff, et al.
Опубликовано: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
по: Dershowitz, Nachum, et al.
Опубликовано: (2020)

Experience and Knowledge Management in Software Engineering
Опубликовано: (2020)

Principles and Practice of Constraint Programming - CP 2005
по: Beek, Peter van
Опубликовано: (2020)

Principles and Practice of Constraint Programming - CP 2007
по: Bessiere, Christian
Опубликовано: (2020)

Object-Oriented Technology. ECOOP 2007 Workshop Reader
по: Cebulla, Michael
Опубликовано: (2020)

Formal Methods and Software Engineering
по: Duan, Zhenhua, et al.
Опубликовано: (2020)

Engineering Multi-Agent Systems
по: Fallah-Seghrouchni, Amal El, et al.
Опубликовано: (2020)

Model Checking and Artificial Intelligence
по: Edelkamp, Stefan, et al.
Опубликовано: (2020)

Engineering Web Applications
Опубликовано: (2020)

Verified Software: Theories, Tools, Experiments
по: Meyer, Bertrand, et al.
Опубликовано: (2020)

Early Aspects: Current Challenges and Future Directions
по: Moreira, A.
Опубликовано: (2020)