Logic Programming and Automated Reasoning /

QR Kod

Logic Programming and Automated Reasoning /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Voronkov, Andrei.
Materyal Türü:	Sách giấy
Dil:	English
Baskı/Yayın Bilgisi:	Berlin : Springer-Verlag, 1993.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Sutcliffe, Geoff, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Dershowitz, Nachum, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Balduccini, Marcello, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming and Nonmonotonic Reasoning
Yazar:: Baral, Chitta, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning
Yazar:: Armando, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning
Yazar:: Galmiche, Didier, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning and Mathematics
Yazar:: Bonacina, Maria Paola, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Reasoning and Logic /
Yazar:: Angell, Richard B.
Baskı/Yayın Bilgisi: (1964)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Schmidt, Renate A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Olivetti, Nicola
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Yazar:: Beckert, Bernhard
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods
Baskı/Yayın Bilgisi: (2020)

Past and Present Interactions in Legal Reasoning and Logic
Yazar:: Armgardt, Matthias, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

The evolution of reason: Logic as a branch of biology
Yazar:: Cooper, William S
Baskı/Yayın Bilgisi: (2013)

IEC 611313: Programming Industrial Automation Systems
Yazar:: John, Karl-Heinz
Baskı/Yayın Bilgisi: (2012)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Yazar:: Sikos, Leslie F.
Baskı/Yayın Bilgisi: (2020)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Yazar:: Trillas, Enric
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Gabbrielli, Maurizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Dahl, Verónica, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /
Yazar:: Huth Michael
Baskı/Yayın Bilgisi: (2002)

Programming logic and design
Yazar:: Farrell, Joyce

Inductive Logic Programming
Yazar:: Blockeel, Hendrik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Riguzzi, Fabrizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Cussens, James, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Kramer, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Microprocessors and programmed logic
Yazar:: Short, Kenneth L.
Baskı/Yayın Bilgisi: (1991)

Programming logic for business
Yazar:: Saret, Laura
Baskı/Yayın Bilgisi: (2001)

Optimizing Natural Language Processing for the Automated Scoring Of Scientific Reasoning: A Collaborative Strategy Using Constructed Response
Yazar:: Ngo, Thi Hoang Van
Baskı/Yayın Bilgisi: (2025)

Programming logic and design, introductory
Yazar:: Joyce Farrell
Baskı/Yayın Bilgisi: (2008)

Programming logic and design : comprehensive
Yazar:: Joyce Farrell
Baskı/Yayın Bilgisi: (2007)

Logic Programming and Knowledge Engineering /
Yazar:: Amble, Tore
Baskı/Yayın Bilgisi: (1987)

Programming logic and design, comprehensive
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2002)

Fuzzy - logic - based programming.
Yazar:: Chin-Lang Chang
Baskı/Yayın Bilgisi: (1997)

Foundations of inductive logic programming /
Yazar:: Nienhuys-Cheng, S. -H. 1943-
Baskı/Yayın Bilgisi: (1997)

Rewriting Techniques and Applications
Yazar:: Voronkov, Andrei
Baskı/Yayın Bilgisi: (2020)

Automate Processes : Simple program design: a step by steo approach
Yazar:: Roberson, Lesley Anne
Baskı/Yayın Bilgisi: (2007)