Logic Programming and Automated Reasoning /

QR Kodea

Logic Programming and Automated Reasoning /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Voronkov, Andrei.
Formatua:	Sách giấy
Hizkuntza:	English
Argitaratua:	Berlin : Springer-Verlag, 1993.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

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

Logic Programming and Nonmonotonic Reasoning
nork: Balduccini, Marcello, et al.
Argitaratua: (2020)

Logic Programming and Nonmonotonic Reasoning
nork: Baral, Chitta, et al.
Argitaratua: (2020)

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

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

Automated Reasoning
nork: Armando, Alessandro, et al.
Argitaratua: (2020)

Automated Reasoning
nork: Galmiche, Didier, et al.
Argitaratua: (2020)

Automated Reasoning and Mathematics
nork: Bonacina, Maria Paola, et al.
Argitaratua: (2020)

Reasoning and Logic /
nork: Angell, Richard B.
Argitaratua: (1964)

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

Automated Reasoning with Analytic Tableaux and Related Methods
nork: Olivetti, Nicola
Argitaratua: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
nork: Beckert, Bernhard
Argitaratua: (2020)

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

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

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

IEC 611313: Programming Industrial Automation Systems
nork: John, Karl-Heinz
Argitaratua: (2012)

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

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

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

Logic Programming
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2020)

Logic Programming
Argitaratua: (2020)

Logic Programming
Argitaratua: (2020)

Logic Programming
nork: Dahl, Verónica, et al.
Argitaratua: (2020)

Programming logic and design
nork: Farrell, Joyce

Inductive Logic Programming
nork: Blockeel, Hendrik, et al.
Argitaratua: (2020)

Inductive Logic Programming
nork: Riguzzi, Fabrizio, et al.
Argitaratua: (2020)

Inductive Logic Programming
nork: Cussens, James, et al.
Argitaratua: (2020)

Inductive Logic Programming
nork: Kramer, Stefan, et al.
Argitaratua: (2020)

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

Microprocessors and programmed logic
nork: Short, Kenneth L.
Argitaratua: (1991)

Programming logic for business
nork: Saret, Laura
Argitaratua: (2001)

Programming logic and design, introductory
nork: Joyce Farrell
Argitaratua: (2008)

Programming logic and design : comprehensive
nork: Joyce Farrell
Argitaratua: (2007)

Logic Programming and Knowledge Engineering /
nork: Amble, Tore
Argitaratua: (1987)

Rewriting Techniques and Applications
nork: Voronkov, Andrei
Argitaratua: (2020)

Programming logic and design, comprehensive
nork: Farrell, Joyce
Argitaratua: (2002)

Fuzzy - logic - based programming.
nork: Chin-Lang Chang
Argitaratua: (1997)

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

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