Logic Programming and Automated Reasoning /

Κώδικας QR

Logic Programming and Automated Reasoning /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Voronkov, Andrei.
Μορφή:	Sách giấy
Γλώσσα:	English
Έκδοση:	Berlin : Springer-Verlag, 1993.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Logic for Programming, Artificial Intelligence, and Reasoning
ανά: Sutcliffe, Geoff, κ.ά.
Έκδοση: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
ανά: Dershowitz, Nachum, κ.ά.
Έκδοση: (2020)

Logic Programming and Nonmonotonic Reasoning
ανά: Balduccini, Marcello, κ.ά.
Έκδοση: (2020)

Logic Programming and Nonmonotonic Reasoning
ανά: Baral, Chitta, κ.ά.
Έκδοση: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Έκδοση: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Έκδοση: (2020)

Automated Reasoning
ανά: Armando, Alessandro, κ.ά.
Έκδοση: (2020)

Automated Reasoning
ανά: Galmiche, Didier, κ.ά.
Έκδοση: (2020)

Automated Reasoning and Mathematics
ανά: Bonacina, Maria Paola, κ.ά.
Έκδοση: (2020)

Reasoning and Logic /
ανά: Angell, Richard B.
Έκδοση: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
ανά: Schmidt, Renate A., κ.ά.
Έκδοση: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
ανά: Olivetti, Nicola
Έκδοση: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
ανά: Beckert, Bernhard
Έκδοση: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Έκδοση: (2020)

Past and Present Interactions in Legal Reasoning and Logic
ανά: Armgardt, Matthias, κ.ά.
Έκδοση: (2016)

The evolution of reason: Logic as a branch of biology
ανά: Cooper, William S
Έκδοση: (2013)

IEC 611313: Programming Industrial Automation Systems
ανά: John, Karl-Heinz
Έκδοση: (2012)

Description Logics in Multimedia Reasoning. 1st ed. 2017
ανά: Sikos, Leslie F.
Έκδοση: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
ανά: Trillas, Enric
Έκδοση: (2020)

Logic Programming
ανά: Gabbrielli, Maurizio, κ.ά.
Έκδοση: (2020)

Logic Programming
Έκδοση: (2020)

Logic Programming
Έκδοση: (2020)

Logic Programming
ανά: Dahl, Verónica, κ.ά.
Έκδοση: (2020)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
ανά: Huth Michael
Έκδοση: (2002)

Programming logic and design
ανά: Farrell, Joyce

Inductive Logic Programming
ανά: Blockeel, Hendrik, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Riguzzi, Fabrizio, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Cussens, James, κ.ά.
Έκδοση: (2020)

Inductive Logic Programming
ανά: Kramer, Stefan, κ.ά.
Έκδοση: (2020)

Microprocessors and programmed logic
ανά: Short, Kenneth L.
Έκδοση: (1991)

Programming logic for business
ανά: Saret, Laura
Έκδοση: (2001)

Optimizing Natural Language Processing for the Automated Scoring Of Scientific Reasoning: A Collaborative Strategy Using Constructed Response
ανά: Ngo, Thi Hoang Van
Έκδοση: (2025)

Programming logic and design, introductory
ανά: Joyce Farrell
Έκδοση: (2008)

Programming logic and design : comprehensive
ανά: Joyce Farrell
Έκδοση: (2007)

Logic Programming and Knowledge Engineering /
ανά: Amble, Tore
Έκδοση: (1987)

Programming logic and design, comprehensive
ανά: Farrell, Joyce
Έκδοση: (2002)

Fuzzy - logic - based programming.
ανά: Chin-Lang Chang
Έκδοση: (1997)

Foundations of inductive logic programming /
ανά: Nienhuys-Cheng, S. -H. 1943-
Έκδοση: (1997)

Rewriting Techniques and Applications
ανά: Voronkov, Andrei
Έκδοση: (2020)

Automate Processes : Simple program design: a step by steo approach
ανά: Roberson, Lesley Anne
Έκδοση: (2007)