Logic Programming and Automated Reasoning /

kod QR

Logic Programming and Automated Reasoning /

Zapisane w:

Opis bibliograficzny
1. autor:	Voronkov, Andrei.
Format:	Sách giấy
Język:	English
Wydane:	Berlin : Springer-Verlag, 1993.
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Logic for Programming, Artificial Intelligence, and Reasoning
od: Sutcliffe, Geoff, i wsp.
Wydane: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
od: Dershowitz, Nachum, i wsp.
Wydane: (2020)

Logic Programming and Nonmonotonic Reasoning
od: Balduccini, Marcello, i wsp.
Wydane: (2020)

Logic Programming and Nonmonotonic Reasoning
od: Baral, Chitta, i wsp.
Wydane: (2020)

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

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

Automated Reasoning
od: Armando, Alessandro, i wsp.
Wydane: (2020)

Automated Reasoning
od: Galmiche, Didier, i wsp.
Wydane: (2020)

Automated Reasoning and Mathematics
od: Bonacina, Maria Paola, i wsp.
Wydane: (2020)

Reasoning and Logic /
od: Angell, Richard B.
Wydane: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
od: Schmidt, Renate A., i wsp.
Wydane: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
od: Olivetti, Nicola
Wydane: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
od: Beckert, Bernhard
Wydane: (2020)

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

Past and Present Interactions in Legal Reasoning and Logic
od: Armgardt, Matthias, i wsp.
Wydane: (2016)

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

IEC 611313: Programming Industrial Automation Systems
od: John, Karl-Heinz
Wydane: (2012)

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

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

Logic Programming
od: Gabbrielli, Maurizio, i wsp.
Wydane: (2020)

Logic Programming
Wydane: (2020)

Logic Programming
Wydane: (2020)

Logic Programming
od: Dahl, Verónica, i wsp.
Wydane: (2020)

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

Programming logic and design
od: Farrell, Joyce

Inductive Logic Programming
od: Blockeel, Hendrik, i wsp.
Wydane: (2020)

Inductive Logic Programming
od: Riguzzi, Fabrizio, i wsp.
Wydane: (2020)

Inductive Logic Programming
od: Cussens, James, i wsp.
Wydane: (2020)

Inductive Logic Programming
od: Kramer, Stefan, i wsp.
Wydane: (2020)

Microprocessors and programmed logic
od: Short, Kenneth L.
Wydane: (1991)

Programming logic for business
od: Saret, Laura
Wydane: (2001)

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

Programming logic and design, introductory
od: Joyce Farrell
Wydane: (2008)

Programming logic and design : comprehensive
od: Joyce Farrell
Wydane: (2007)

Logic Programming and Knowledge Engineering /
od: Amble, Tore
Wydane: (1987)

Programming logic and design, comprehensive
od: Farrell, Joyce
Wydane: (2002)

Fuzzy - logic - based programming.
od: Chin-Lang Chang
Wydane: (1997)

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

Rewriting Techniques and Applications
od: Voronkov, Andrei
Wydane: (2020)

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