Logic Programming and Automated Reasoning /

QR-kod

Logic Programming and Automated Reasoning /

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Voronkov, Andrei.
Materialtyp:	Sách giấy
Språk:	English
Publicerad:	Berlin : Springer-Verlag, 1993.
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

Liknande verk

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

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

Logic Programming and Nonmonotonic Reasoning
av: Balduccini, Marcello, et al.
Publicerad: (2020)

Logic Programming and Nonmonotonic Reasoning
av: Baral, Chitta, et al.
Publicerad: (2020)

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

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

Automated Reasoning
av: Armando, Alessandro, et al.
Publicerad: (2020)

Automated Reasoning
av: Galmiche, Didier, et al.
Publicerad: (2020)

Automated Reasoning and Mathematics
av: Bonacina, Maria Paola, et al.
Publicerad: (2020)

Reasoning and Logic /
av: Angell, Richard B.
Publicerad: (1964)

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

Automated Reasoning with Analytic Tableaux and Related Methods
av: Olivetti, Nicola
Publicerad: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
av: Beckert, Bernhard
Publicerad: (2020)

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

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

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

IEC 611313: Programming Industrial Automation Systems
av: John, Karl-Heinz
Publicerad: (2012)

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

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

Logic Programming
av: Gabbrielli, Maurizio, et al.
Publicerad: (2020)

Logic Programming
Publicerad: (2020)

Logic Programming
Publicerad: (2020)

Logic Programming
av: Dahl, Verónica, et al.
Publicerad: (2020)

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

Programming logic and design
av: Farrell, Joyce

Inductive Logic Programming
av: Blockeel, Hendrik, et al.
Publicerad: (2020)

Inductive Logic Programming
av: Riguzzi, Fabrizio, et al.
Publicerad: (2020)

Inductive Logic Programming
av: Cussens, James, et al.
Publicerad: (2020)

Inductive Logic Programming
av: Kramer, Stefan, et al.
Publicerad: (2020)

Microprocessors and programmed logic
av: Short, Kenneth L.
Publicerad: (1991)

Programming logic for business
av: Saret, Laura
Publicerad: (2001)

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

Programming logic and design, introductory
av: Joyce Farrell
Publicerad: (2008)

Programming logic and design : comprehensive
av: Joyce Farrell
Publicerad: (2007)

Logic Programming and Knowledge Engineering /
av: Amble, Tore
Publicerad: (1987)

Programming logic and design, comprehensive
av: Farrell, Joyce
Publicerad: (2002)

Fuzzy - logic - based programming.
av: Chin-Lang Chang
Publicerad: (1997)

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

Rewriting Techniques and Applications
av: Voronkov, Andrei
Publicerad: (2020)

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