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ự

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

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

Programming logic and design
Bỡi: Farrell, Joyce

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)

A guide to programming logic and design :
Bỡi: Farrell, Joyce
Được phát hành: (1999)

Case-Based reasoning và khả năng tiếp cận bằng logic vị từ /
Bỡi: Nguyễn Việt Hà.

Automate Processes : Simple program design: a step by steo approach
Bỡi: Roberson, Lesley Anne
Được phát hành: (2007)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

An object-oriented approach to programming logic and design
Bỡi: Farrell, Joyce
Được phát hành: (2006)

A logical framework for planning agricultural research programs
Bỡi: Bernd Schubert
Được phát hành: (1991)

P-Prolog, a parallel logic programming language
Bỡi: Yang, Rong
Được phát hành: (1987)

P-Prolog, a parallel logic programming language /
Bỡi: Yang, Rong.
Được phát hành: (1987)

Automation :
Được phát hành: (1964)

Automation :
Được phát hành: (1964)

Automation :
Bỡi: Bittorf, Wilhelm
Được phát hành: (1956)

Automation :
Bỡi: Buckingham, Walter
Được phát hành: (1963)

Automation
Bỡi: Diebold, John
Được phát hành: (1983)

Reason's neglect
Bỡi: Townley, Barbara
Được phát hành: (2008)

Reason and responsibility
Bỡi: Feinberg, Joel
Được phát hành: (2008)

Reason and insight
Bỡi: Shanahan,Timothy
Được phát hành: (2003)

Passion and reason
Bỡi: Lazarus, Richard S.
Được phát hành: (1994)

Reason and responsibility
Bỡi: Joel Feinberg
Được phát hành: (2008)

Reasons for listening /
Bỡi: Scarbrough, David.
Được phát hành: (1992)

Reasons for listening /
Bỡi: Scarbrough, David.
Được phát hành: (1992)

A unified theory of program logics : An approach based on the pi-calculus /
Bỡi: Honda, Kohei.

The principle of reason
Bỡi: Martin Heidegger
Được phát hành: (1991)

Science with reason
Được phát hành: (1995)

Reason and revolution :
Bỡi: Marcuse, Herbert
Được phát hành: (1960)

Reason and imagination :
Được phát hành: (1996)

The function of reason
Bỡi: Whitehead, Alfred North
Được phát hành: (1929)

For reasons of Statse
Bỡi: Chomsky, Noam
Được phát hành: (1973)