All About Maude - A High-Performance Logical Framework

QR-Code

All About Maude - A High-Performance Logical Framework

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Format:	Buch
Sprache:	English
Veröffentlicht:	Springer Berlin Heidelberg 2020
Schlagworte:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online Zugang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

It's All About Coordination
von: Boer, Frank de, et al.
Veröffentlicht: (2020)

Introducing Play Framework
von: Karunakaran, Prem Kumar
Veröffentlicht: (2020)

Logic-Based Program Synthesis and Transformation
von: Hermenegildo, Manuel V, et al.
Veröffentlicht: (2020)

Advances in Smalltalk
von: Meuter, Wolfgang De
Veröffentlicht: (2020)

Practical Aspects of Declarative Languages
Veröffentlicht: (2020)

C# and XML Primer. 1st ed.
von: Hartwell, Jonathan
Veröffentlicht: (2020)

Languages and Compilers for High Performance Computing
von: Eigenmann, Rudolf, et al.
Veröffentlicht: (2020)

Network Programming with Go
von: Newmarch, Jan
Veröffentlicht: (2020)

Rules and Reasoning
von: Costantini, Stefania, et al.
Veröffentlicht: (2020)

Test Driven Development in Ruby
von: Paranj, Bala
Veröffentlicht: (2020)

Systems Programming in Unix/Linux
von: Wang, K.C.
Veröffentlicht: (2020)

Machine Learning Using R
von: Ramasubramanian, Karthik, et al.
Veröffentlicht: (2020)

Functional Programming in R
von: Mailund, Thomas
Veröffentlicht: (2020)

Practical Aspects of Declarative Languages
von: Hanus, Michael
Veröffentlicht: (2020)

Languages and Compilers for Parallel Computing
von: Pugh, Bill, et al.
Veröffentlicht: (2020)

Advances in Artificial Intelligence - SBIA 2008
Veröffentlicht: (2020)

Central European Functional Programming School
Veröffentlicht: (2020)

Beginning Bazel
von: McNerney, P.J.
Veröffentlicht: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Veröffentlicht: (2020)

Introduction to Programming with Fortran
von: Chivers, Ian, et al.
Veröffentlicht: (2020)

Modeling Decisions for Artificial Intelligence
Veröffentlicht: (2020)

Rules and Reasoning
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2020)

Learn Unity for Android Game Development
von: Sinicki, Adam
Veröffentlicht: (2020)

Applications of Declarative Programming and Knowledge Management
Veröffentlicht: (2020)

MICAI 2008: Advances in Artificial Intelligence
Veröffentlicht: (2020)

Beginning Rust
von: Milanesi, Carlo
Veröffentlicht: (2020)

Practical Aspects of Declarative Languages
von: Hudak, Paul, et al.
Veröffentlicht: (2020)

Exploring Swift Playgrounds. 1st ed.
von: Feiler, Jesse
Veröffentlicht: (2020)

Practical TLA+
von: Wayne, Hillel
Veröffentlicht: (2020)

Clean C++
von: Roth, Stephan
Veröffentlicht: (2020)

An Introduction to HTML and JavaScript
von: Brooks, David R.
Veröffentlicht: (2020)

Model Checking and Artificial Intelligence
Veröffentlicht: (2020)

Interpreting LISP. 2nd ed.
von: Knott, Gary D.
Veröffentlicht: (2020)

Beginning Ada Programming
von: Shvets, Andrew T.
Veröffentlicht: (2020)

Logic and Its Applications
Veröffentlicht: (2020)

Guide to Assembly Language Programming in Linux
Veröffentlicht: (2020)

MATLAB Machine Learning. 1st ed.
von: Paluszek, Michael, et al.
Veröffentlicht: (2020)

Logics in Artificial Intelligence
Veröffentlicht: (2020)

Automated Deduction – CADE-22
Veröffentlicht: (2020)

C++17 Quick Syntax Reference
von: Olsson, Mikael
Veröffentlicht: (2020)