Logic Programming and Automated Reasoning /

Mã QR

Logic Programming and Automated Reasoning /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Voronkov, Andrei.
Định dạng:	Sách giấy
Ngôn ngữ:	English
Được phát hành:	Berlin : Springer-Verlag, 1993.
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ự

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Dershowitz, Nachum, et al.
Đượ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 Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Baral, Chitta, et al.
Đượ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
Được phát hành: (2020)

Automated Reasoning
Bỡi: Galmiche, Didier, et al.
Được phát hành: (2020)

Automated Reasoning
Bỡi: Armando, Alessandro, et al.
Được phát hành: (2020)

Automated Reasoning and Mathematics
Bỡi: Bonacina, Maria Paola, et al.
Được phát hành: (2020)

Reasoning and Logic /
Bỡi: Angell, Richard B.
Được phát hành: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
Được phát hành: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Bỡi: Beckert, Bernhard
Được phát hành: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Bỡi: Schmidt, Renate A., et al.
Được phát hành: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Bỡi: Olivetti, Nicola
Được phát hành: (2020)

The evolution of reason: Logic as a branch of biology
Bỡi: Cooper, William S
Được phát hành: (2013)

Past and Present Interactions in Legal Reasoning and Logic
Bỡi: Armgardt, Matthias, et al.
Được phát hành: (2016)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Bỡi: Trillas, Enric
Được phát hành: (2020)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Bỡi: Sikos, Leslie F.
Được phát hành: (2020)

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

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

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

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

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
Bỡi: Huth Michael
Được phát hành: (2002)

IEC 611313: Programming Industrial Automation Systems
Bỡi: John, Karl-Heinz
Được phát hành: (2012)

Programming logic and design
Bỡi: Farrell, Joyce

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)

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

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

Microprocessors and programmed logic
Bỡi: Short, Kenneth L.
Được phát hành: (1991)

Programming logic for business
Bỡi: Saret, Laura
Được phát hành: (2001)

Programming logic and design, introductory
Bỡi: Joyce Farrell
Được phát hành: (2008)

Programming logic and design : comprehensive
Bỡi: Joyce Farrell
Được phát hành: (2007)

Logic Programming and Knowledge Engineering /
Bỡi: Amble, Tore
Được phát hành: (1987)

Programming logic and design, comprehensive
Bỡi: Farrell, Joyce
Được phát hành: (2002)

Fuzzy - logic - based programming.
Bỡi: Chin-Lang Chang
Được phát hành: (1997)

Foundations of inductive logic programming /
Bỡi: Nienhuys-Cheng, S. -H. 1943-
Được phát hành: (1997)

Programming business logic using EJB.
Được phát hành: (1990)

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

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