Logic Programming and Automated Reasoning /

Mã QR

Logic Programming and Automated Reasoning /

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Voronkov, Andrei.
Format:	Sách giấy
Sprog:	English
Udgivet:	Berlin : Springer-Verlag, 1993.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

Logic Programming and Nonmonotonic Reasoning
af: Balduccini, Marcello, et al.
Udgivet: (2020)

Logic Programming and Nonmonotonic Reasoning
af: Baral, Chitta, et al.
Udgivet: (2020)

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

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

Automated Reasoning
af: Armando, Alessandro, et al.
Udgivet: (2020)

Automated Reasoning
af: Galmiche, Didier, et al.
Udgivet: (2020)

Automated Reasoning and Mathematics
af: Bonacina, Maria Paola, et al.
Udgivet: (2020)

Reasoning and Logic /
af: Angell, Richard B.
Udgivet: (1964)

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

Automated Reasoning with Analytic Tableaux and Related Methods
af: Olivetti, Nicola
Udgivet: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
af: Beckert, Bernhard
Udgivet: (2020)

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

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

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

IEC 611313: Programming Industrial Automation Systems
af: John, Karl-Heinz
Udgivet: (2012)

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

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

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

Logic Programming
af: Gabbrielli, Maurizio, et al.
Udgivet: (2020)

Logic Programming
Udgivet: (2020)

Logic Programming
Udgivet: (2020)

Logic Programming
af: Dahl, Verónica, et al.
Udgivet: (2020)

Programming logic and design
af: Farrell, Joyce

Inductive Logic Programming
af: Blockeel, Hendrik, et al.
Udgivet: (2020)

Inductive Logic Programming
af: Riguzzi, Fabrizio, et al.
Udgivet: (2020)

Inductive Logic Programming
af: Cussens, James, et al.
Udgivet: (2020)

Inductive Logic Programming
af: Kramer, Stefan, et al.
Udgivet: (2020)

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

Microprocessors and programmed logic
af: Short, Kenneth L.
Udgivet: (1991)

Programming logic for business
af: Saret, Laura
Udgivet: (2001)

Programming logic and design, introductory
af: Joyce Farrell
Udgivet: (2008)

Programming logic and design : comprehensive
af: Joyce Farrell
Udgivet: (2007)

Logic Programming and Knowledge Engineering /
af: Amble, Tore
Udgivet: (1987)

Rewriting Techniques and Applications
af: Voronkov, Andrei
Udgivet: (2020)

Programming logic and design, comprehensive
af: Farrell, Joyce
Udgivet: (2002)

Fuzzy - logic - based programming.
af: Chin-Lang Chang
Udgivet: (1997)

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

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