Logic Programming and Automated Reasoning /

QR-Code

Logic Programming and Automated Reasoning /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Voronkov, Andrei.
Format:	Sách giấy
Sprache:	English
Veröffentlicht:	Berlin : Springer-Verlag, 1993.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Logic for Programming, Artificial Intelligence, and Reasoning
von: Sutcliffe, Geoff, et al.
Veröffentlicht: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
von: Dershowitz, Nachum, et al.
Veröffentlicht: (2020)

Logic Programming and Nonmonotonic Reasoning
von: Balduccini, Marcello, et al.
Veröffentlicht: (2020)

Logic Programming and Nonmonotonic Reasoning
von: Baral, Chitta, et al.
Veröffentlicht: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Veröffentlicht: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Veröffentlicht: (2020)

Automated Reasoning
von: Armando, Alessandro, et al.
Veröffentlicht: (2020)

Automated Reasoning
von: Galmiche, Didier, et al.
Veröffentlicht: (2020)

Automated Reasoning and Mathematics
von: Bonacina, Maria Paola, et al.
Veröffentlicht: (2020)

Reasoning and Logic /
von: Angell, Richard B.
Veröffentlicht: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
von: Schmidt, Renate A., et al.
Veröffentlicht: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
von: Olivetti, Nicola
Veröffentlicht: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
von: Beckert, Bernhard
Veröffentlicht: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Veröffentlicht: (2020)

Past and Present Interactions in Legal Reasoning and Logic
von: Armgardt, Matthias, et al.
Veröffentlicht: (2016)

The evolution of reason: Logic as a branch of biology
von: Cooper, William S
Veröffentlicht: (2013)

IEC 611313: Programming Industrial Automation Systems
von: John, Karl-Heinz
Veröffentlicht: (2012)

Description Logics in Multimedia Reasoning. 1st ed. 2017
von: Sikos, Leslie F.
Veröffentlicht: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
von: Trillas, Enric
Veröffentlicht: (2020)

Logic Programming
von: Gabbrielli, Maurizio, et al.
Veröffentlicht: (2020)

Logic Programming
Veröffentlicht: (2020)

Logic Programming
Veröffentlicht: (2020)

Logic Programming
von: Dahl, Verónica, et al.
Veröffentlicht: (2020)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
von: Huth Michael
Veröffentlicht: (2002)

Programming logic and design
von: Farrell, Joyce

Inductive Logic Programming
von: Blockeel, Hendrik, et al.
Veröffentlicht: (2020)

Inductive Logic Programming
von: Riguzzi, Fabrizio, et al.
Veröffentlicht: (2020)

Inductive Logic Programming
von: Cussens, James, et al.
Veröffentlicht: (2020)

Inductive Logic Programming
von: Kramer, Stefan, et al.
Veröffentlicht: (2020)

Microprocessors and programmed logic
von: Short, Kenneth L.
Veröffentlicht: (1991)

Programming logic for business
von: Saret, Laura
Veröffentlicht: (2001)

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

Programming logic and design, introductory
von: Joyce Farrell
Veröffentlicht: (2008)

Programming logic and design : comprehensive
von: Joyce Farrell
Veröffentlicht: (2007)

Logic Programming and Knowledge Engineering /
von: Amble, Tore
Veröffentlicht: (1987)

Programming logic and design, comprehensive
von: Farrell, Joyce
Veröffentlicht: (2002)

Fuzzy - logic - based programming.
von: Chin-Lang Chang
Veröffentlicht: (1997)

Foundations of inductive logic programming /
von: Nienhuys-Cheng, S. -H. 1943-
Veröffentlicht: (1997)

Rewriting Techniques and Applications
von: Voronkov, Andrei
Veröffentlicht: (2020)

Automate Processes : Simple program design: a step by steo approach
von: Roberson, Lesley Anne
Veröffentlicht: (2007)