Logic Programming and Automated Reasoning /

Mã QR

Logic Programming and Automated Reasoning /

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Voronkov, Andrei.
Formáid:	Sách giấy
Teanga:	English
Foilsithe:	Berlin : Springer-Verlag, 1993.
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Logic for Programming, Artificial Intelligence, and Reasoning
le: Sutcliffe, Geoff, et al.
Foilsithe: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
le: Dershowitz, Nachum, et al.
Foilsithe: (2020)

Logic Programming and Nonmonotonic Reasoning
le: Balduccini, Marcello, et al.
Foilsithe: (2020)

Logic Programming and Nonmonotonic Reasoning
le: Baral, Chitta, et al.
Foilsithe: (2020)

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

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

Automated Reasoning
le: Armando, Alessandro, et al.
Foilsithe: (2020)

Automated Reasoning
le: Galmiche, Didier, et al.
Foilsithe: (2020)

Automated Reasoning and Mathematics
le: Bonacina, Maria Paola, et al.
Foilsithe: (2020)

Reasoning and Logic /
le: Angell, Richard B.
Foilsithe: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
le: Schmidt, Renate A., et al.
Foilsithe: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
le: Olivetti, Nicola
Foilsithe: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
le: Beckert, Bernhard
Foilsithe: (2020)

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

Past and Present Interactions in Legal Reasoning and Logic
le: Armgardt, Matthias, et al.
Foilsithe: (2016)

The evolution of reason: Logic as a branch of biology
le: Cooper, William S
Foilsithe: (2013)

IEC 611313: Programming Industrial Automation Systems
le: John, Karl-Heinz
Foilsithe: (2012)

Description Logics in Multimedia Reasoning. 1st ed. 2017
le: Sikos, Leslie F.
Foilsithe: (2020)

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

Logic Programming
le: Gabbrielli, Maurizio, et al.
Foilsithe: (2020)

Logic Programming
Foilsithe: (2020)

Logic Programming
Foilsithe: (2020)

Logic Programming
le: Dahl, Verónica, et al.
Foilsithe: (2020)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
le: Huth Michael
Foilsithe: (2002)

Programming logic and design
le: Farrell, Joyce

Inductive Logic Programming
le: Blockeel, Hendrik, et al.
Foilsithe: (2020)

Inductive Logic Programming
le: Riguzzi, Fabrizio, et al.
Foilsithe: (2020)

Inductive Logic Programming
le: Cussens, James, et al.
Foilsithe: (2020)

Inductive Logic Programming
le: Kramer, Stefan, et al.
Foilsithe: (2020)

Microprocessors and programmed logic
le: Short, Kenneth L.
Foilsithe: (1991)

Programming logic for business
le: Saret, Laura
Foilsithe: (2001)

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

Programming logic and design, introductory
le: Joyce Farrell
Foilsithe: (2008)

Programming logic and design : comprehensive
le: Joyce Farrell
Foilsithe: (2007)

Logic Programming and Knowledge Engineering /
le: Amble, Tore
Foilsithe: (1987)

Programming logic and design, comprehensive
le: Farrell, Joyce
Foilsithe: (2002)

Fuzzy - logic - based programming.
le: Chin-Lang Chang
Foilsithe: (1997)

Foundations of inductive logic programming /
le: Nienhuys-Cheng, S. -H. 1943-
Foilsithe: (1997)

Rewriting Techniques and Applications
le: Voronkov, Andrei
Foilsithe: (2020)

Automate Processes : Simple program design: a step by steo approach
le: Roberson, Lesley Anne
Foilsithe: (2007)