Logic Programming and Automated Reasoning /

Codi QR

Logic Programming and Automated Reasoning /

Guardat en:

Dades bibliogràfiques
Autor principal:	Voronkov, Andrei.
Format:	Sách giấy
Idioma:	English
Publicat:	Berlin : Springer-Verlag, 1993.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

Logic Programming and Nonmonotonic Reasoning
per: Balduccini, Marcello, et al.
Publicat: (2020)

Logic Programming and Nonmonotonic Reasoning
per: Baral, Chitta, et al.
Publicat: (2020)

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

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

Automated Reasoning
per: Armando, Alessandro, et al.
Publicat: (2020)

Automated Reasoning
per: Galmiche, Didier, et al.
Publicat: (2020)

Automated Reasoning and Mathematics
per: Bonacina, Maria Paola, et al.
Publicat: (2020)

Reasoning and Logic /
per: Angell, Richard B.
Publicat: (1964)

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

Automated Reasoning with Analytic Tableaux and Related Methods
per: Olivetti, Nicola
Publicat: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
per: Beckert, Bernhard
Publicat: (2020)

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

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

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

IEC 611313: Programming Industrial Automation Systems
per: John, Karl-Heinz
Publicat: (2012)

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

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

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

Logic Programming
per: Gabbrielli, Maurizio, et al.
Publicat: (2020)

Logic Programming
Publicat: (2020)

Logic Programming
Publicat: (2020)

Logic Programming
per: Dahl, Verónica, et al.
Publicat: (2020)

Programming logic and design
per: Farrell, Joyce

Inductive Logic Programming
per: Blockeel, Hendrik, et al.
Publicat: (2020)

Inductive Logic Programming
per: Riguzzi, Fabrizio, et al.
Publicat: (2020)

Inductive Logic Programming
per: Cussens, James, et al.
Publicat: (2020)

Inductive Logic Programming
per: Kramer, Stefan, et al.
Publicat: (2020)

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

Microprocessors and programmed logic
per: Short, Kenneth L.
Publicat: (1991)

Programming logic for business
per: Saret, Laura
Publicat: (2001)

Programming logic and design, introductory
per: Joyce Farrell
Publicat: (2008)

Programming logic and design : comprehensive
per: Joyce Farrell
Publicat: (2007)

Logic Programming and Knowledge Engineering /
per: Amble, Tore
Publicat: (1987)

Rewriting Techniques and Applications
per: Voronkov, Andrei
Publicat: (2020)

Programming logic and design, comprehensive
per: Farrell, Joyce
Publicat: (2002)

Fuzzy - logic - based programming.
per: Chin-Lang Chang
Publicat: (1997)

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

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