Logic Programming and Automated Reasoning /

Mã QR

Logic Programming and Automated Reasoning /

Đã lưu trong:

书目详细资料
主要作者:	Voronkov, Andrei.
格式:	Sách giấy
语言:	English
出版:	Berlin : Springer-Verlag, 1993.
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Logic for Programming, Artificial Intelligence, and Reasoning
由: Sutcliffe, Geoff, et al.
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
由: Dershowitz, Nachum, et al.
出版: (2020)

Logic Programming and Nonmonotonic Reasoning
由: Balduccini, Marcello, et al.
出版: (2020)

Logic Programming and Nonmonotonic Reasoning
由: Baral, Chitta, et al.
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
出版: (2020)

Automated Reasoning
由: Armando, Alessandro, et al.
出版: (2020)

Automated Reasoning
由: Galmiche, Didier, et al.
出版: (2020)

Automated Reasoning and Mathematics
由: Bonacina, Maria Paola, et al.
出版: (2020)

Reasoning and Logic /
由: Angell, Richard B.
出版: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
由: Schmidt, Renate A., et al.
出版: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
由: Olivetti, Nicola
出版: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
由: Beckert, Bernhard
出版: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
出版: (2020)

Past and Present Interactions in Legal Reasoning and Logic
由: Armgardt, Matthias, et al.
出版: (2016)

The evolution of reason: Logic as a branch of biology
由: Cooper, William S
出版: (2013)

IEC 611313: Programming Industrial Automation Systems
由: John, Karl-Heinz
出版: (2012)

Description Logics in Multimedia Reasoning. 1st ed. 2017
由: Sikos, Leslie F.
出版: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
由: Trillas, Enric
出版: (2020)

Logic Programming
由: Gabbrielli, Maurizio, et al.
出版: (2020)

Logic Programming
出版: (2020)

Logic Programming
出版: (2020)

Logic Programming
由: Dahl, Verónica, et al.
出版: (2020)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
由: Huth Michael
出版: (2002)

Programming logic and design
由: Farrell, Joyce

Inductive Logic Programming
由: Blockeel, Hendrik, et al.
出版: (2020)

Inductive Logic Programming
由: Riguzzi, Fabrizio, et al.
出版: (2020)

Inductive Logic Programming
由: Cussens, James, et al.
出版: (2020)

Inductive Logic Programming
由: Kramer, Stefan, et al.
出版: (2020)

Microprocessors and programmed logic
由: Short, Kenneth L.
出版: (1991)

Programming logic for business
由: Saret, Laura
出版: (2001)

Optimizing Natural Language Processing for the Automated Scoring Of Scientific Reasoning: A Collaborative Strategy Using Constructed Response
由: Ngo, Thi Hoang Van
出版: (2025)

Programming logic and design, introductory
由: Joyce Farrell
出版: (2008)

Programming logic and design : comprehensive
由: Joyce Farrell
出版: (2007)

Logic Programming and Knowledge Engineering /
由: Amble, Tore
出版: (1987)

Programming logic and design, comprehensive
由: Farrell, Joyce
出版: (2002)

Fuzzy - logic - based programming.
由: Chin-Lang Chang
出版: (1997)

Foundations of inductive logic programming /
由: Nienhuys-Cheng, S. -H. 1943-
出版: (1997)

Rewriting Techniques and Applications
由: Voronkov, Andrei
出版: (2020)

Automate Processes : Simple program design: a step by steo approach
由: Roberson, Lesley Anne
出版: (2007)