Logic Programming and Automated Reasoning /

Código QR

Logic Programming and Automated Reasoning /

Guardado en:

Detalles Bibliográficos
Autor principal:	Voronkov, Andrei.
Formato:	Sách giấy
Lenguaje:	English
Publicado:	Berlin : Springer-Verlag, 1993.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

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

Ejemplares similares

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

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

Logic Programming and Nonmonotonic Reasoning
por: Balduccini, Marcello, et al.
Publicado: (2020)

Logic Programming and Nonmonotonic Reasoning
por: Baral, Chitta, et al.
Publicado: (2020)

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

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

Automated Reasoning
por: Armando, Alessandro, et al.
Publicado: (2020)

Automated Reasoning
por: Galmiche, Didier, et al.
Publicado: (2020)

Automated Reasoning and Mathematics
por: Bonacina, Maria Paola, et al.
Publicado: (2020)

Reasoning and Logic /
por: Angell, Richard B.
Publicado: (1964)

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

Automated Reasoning with Analytic Tableaux and Related Methods
por: Olivetti, Nicola
Publicado: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
por: Beckert, Bernhard
Publicado: (2020)

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

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

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

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

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

IEC 611313: Programming Industrial Automation Systems
por: John, Karl-Heinz
Publicado: (2012)

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

Logic Programming
por: Gabbrielli, Maurizio, et al.
Publicado: (2020)

Logic Programming
Publicado: (2020)

Logic Programming
Publicado: (2020)

Logic Programming
por: Dahl, Verónica, et al.
Publicado: (2020)

Programming logic and design
por: Farrell, Joyce

Inductive Logic Programming
por: Blockeel, Hendrik, et al.
Publicado: (2020)

Inductive Logic Programming
por: Riguzzi, Fabrizio, et al.
Publicado: (2020)

Inductive Logic Programming
por: Cussens, James, et al.
Publicado: (2020)

Inductive Logic Programming
por: Kramer, Stefan, et al.
Publicado: (2020)

Microprocessors and programmed logic
por: Short, Kenneth L.
Publicado: (1991)

Programming logic for business
por: Saret, Laura
Publicado: (2001)

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

Programming logic and design, introductory
por: Joyce Farrell
Publicado: (2008)

Programming logic and design : comprehensive
por: Joyce Farrell
Publicado: (2007)

Logic Programming and Knowledge Engineering /
por: Amble, Tore
Publicado: (1987)

Rewriting Techniques and Applications
por: Voronkov, Andrei
Publicado: (2020)

Programming logic and design, comprehensive
por: Farrell, Joyce
Publicado: (2002)

Fuzzy - logic - based programming.
por: Chin-Lang Chang
Publicado: (1997)

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

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