Logic Programming and Automated Reasoning /

QR code

Logic Programming and Automated Reasoning /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Voronkov, Andrei.
Formaat:	Sách giấy
Taal:	English
Gepubliceerd in:	Berlin : Springer-Verlag, 1993.
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Logic for Programming, Artificial Intelligence, and Reasoning
door: Sutcliffe, Geoff, et al.
Gepubliceerd in: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
door: Dershowitz, Nachum, et al.
Gepubliceerd in: (2020)

Logic Programming and Nonmonotonic Reasoning
door: Balduccini, Marcello, et al.
Gepubliceerd in: (2020)

Logic Programming and Nonmonotonic Reasoning
door: Baral, Chitta, et al.
Gepubliceerd in: (2020)

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

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

Automated Reasoning
door: Armando, Alessandro, et al.
Gepubliceerd in: (2020)

Automated Reasoning
door: Galmiche, Didier, et al.
Gepubliceerd in: (2020)

Automated Reasoning and Mathematics
door: Bonacina, Maria Paola, et al.
Gepubliceerd in: (2020)

Reasoning and Logic /
door: Angell, Richard B.
Gepubliceerd in: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
door: Schmidt, Renate A., et al.
Gepubliceerd in: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
door: Olivetti, Nicola
Gepubliceerd in: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
door: Beckert, Bernhard
Gepubliceerd in: (2020)

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

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

The evolution of reason: Logic as a branch of biology
door: Cooper, William S
Gepubliceerd in: (2013)

IEC 611313: Programming Industrial Automation Systems
door: John, Karl-Heinz
Gepubliceerd in: (2012)

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

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

Logic Programming
door: Gabbrielli, Maurizio, et al.
Gepubliceerd in: (2020)

Logic Programming
Gepubliceerd in: (2020)

Logic Programming
Gepubliceerd in: (2020)

Logic Programming
door: Dahl, Verónica, et al.
Gepubliceerd in: (2020)

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

Programming logic and design
door: Farrell, Joyce

Inductive Logic Programming
door: Blockeel, Hendrik, et al.
Gepubliceerd in: (2020)

Inductive Logic Programming
door: Riguzzi, Fabrizio, et al.
Gepubliceerd in: (2020)

Inductive Logic Programming
door: Cussens, James, et al.
Gepubliceerd in: (2020)

Inductive Logic Programming
door: Kramer, Stefan, et al.
Gepubliceerd in: (2020)

Microprocessors and programmed logic
door: Short, Kenneth L.
Gepubliceerd in: (1991)

Programming logic for business
door: Saret, Laura
Gepubliceerd in: (2001)

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

Programming logic and design, introductory
door: Joyce Farrell
Gepubliceerd in: (2008)

Programming logic and design : comprehensive
door: Joyce Farrell
Gepubliceerd in: (2007)

Logic Programming and Knowledge Engineering /
door: Amble, Tore
Gepubliceerd in: (1987)

Programming logic and design, comprehensive
door: Farrell, Joyce
Gepubliceerd in: (2002)

Fuzzy - logic - based programming.
door: Chin-Lang Chang
Gepubliceerd in: (1997)

Foundations of inductive logic programming /
door: Nienhuys-Cheng, S. -H. 1943-
Gepubliceerd in: (1997)

Rewriting Techniques and Applications
door: Voronkov, Andrei
Gepubliceerd in: (2020)

Automate Processes : Simple program design: a step by steo approach
door: Roberson, Lesley Anne
Gepubliceerd in: (2007)