Logic Programming and Automated Reasoning /

Mã QR

Logic Programming and Automated Reasoning /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	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)