Logic Programming

Mã QR

Logic Programming

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Programming Techniques Data Structures
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82511
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Applications of Agent Technology in Traffic and Transportation
Bỡi: Klügl, Franziska, et al.
Được phát hành: (2020)

Logic Based Program Synthesis and Transformation
Được phát hành: (2020)

Logic Programming
Bỡi: Gabbrielli, Maurizio, et al.
Được phát hành: (2020)

Logic Programming
Bỡi: Dahl, Verónica, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Blockeel, Hendrik, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Kramer, Stefan, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Cussens, James, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Sutcliffe, Geoff, et al.
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Dershowitz, Nachum, et al.
Được phát hành: (2020)

Perl database programming
Bỡi: Brent Michalski
Được phát hành: (2003)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Được phát hành: (2001)

Data structures, algorithms and Object-Oriented programming
Bỡi: Gregory L. Heileman
Được phát hành: (1996)

Advanced Functional Programming
Được phát hành: (2020)

Integration of AI and OR Techniques in Constraint Programming
Bỡi: Salvagnin, Domenico, et al.
Được phát hành: (2020)

Types for Proofs and Programs
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Logics in Artificial Intelligence
Được phát hành: (2020)

Infinity in Logic and Computation
Được phát hành: (2020)

Propeller Programming
Bỡi: Anandakrishnan, Sridhar
Được phát hành: (2020)

Programming with Actors
Bỡi: Ricci, Alessandro, et al.
Được phát hành: (2020)

OpenMP Shared Memory Parallel Programming
Bỡi: Müller, Matthias S., et al.
Được phát hành: (2020)

Genetic Programming
Được phát hành: (2020)

Genetic Programming
Được phát hành: (2020)

Trends in Functional Programming
Bỡi: Wang, Meng, et al.
Được phát hành: (2020)

ECOOP - Object-Oriented Programming
Bỡi: Ernst, Erik
Được phát hành: (2020)

Bad Programming Practices 101
Bỡi: Beecher, Karl
Được phát hành: (2020)

Declarative Programming and Knowledge Management
Bỡi: Seipel, Dietmar, et al.
Được phát hành: (2020)

An Introduction to Network Programming with Java
Bỡi: Graba, Jan
Được phát hành: (2020)

Network Programming with Go
Bỡi: Newmarch, Jan
Được phát hành: (2020)

Functional Programming in R
Bỡi: Mailund, Thomas
Được phát hành: (2020)

Introduction to Programming with Fortran
Bỡi: Chivers, Ian, et al.
Được phát hành: (2020)

Beginning Ada Programming
Bỡi: Shvets, Andrew T.
Được phát hành: (2020)

Programming Languages and Systems
Bỡi: Nicola, Rocco De
Được phát hành: (2020)

Programming Languages and Systems
Bỡi: Caires, Luís
Được phát hành: (2020)

Database Programming Languages
Bỡi: Arenas, Marcelo, et al.
Được phát hành: (2020)

Database Programming Languages
Bỡi: Bierman, Gavin, et al.
Được phát hành: (2020)

ECOOP 2005 - Object-Oriented Programming
Bỡi: Black, Andrew
Được phát hành: (2020)

Simulation, Modeling, and Programming for Autonomous Robots
Được phát hành: (2020)