Luis Fariñas del Cerro – författare
Visar alla böcker från författaren Luis Fariñas del Cerro. Handla med fri frakt och snabb leverans.
5 produkter
Intensional Logics for Programming
Av Luis Fariñas del Cerro, Martti Penttonen
Inbunden, 1992
477 kr
Lägg i varukorg
This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of …
Conditionals: From Philosophy to Computer Science
Av G. Crocco, Luis Fariñas del Cerro m. fl.
Inbunden, 1995
1316 kr
Lägg i varukorg
Understanding the role of deduction in human reasoning has been an important activity in philosophy, logic, and more recetnly artificial intelligence. The basic patter of this kind of reasoning can be represented by conditional expressions of the form `if...then.' There are various kinds of …
Logical Modeling of Biological Systems
Av Luis Fariñas del Cerro, Katsumi Inoue
Inbunden, 2014
2373 kr
Lägg i varukorg
Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the function and behavior of the living system. Through this, a life process is to be understood as a whole system rather than the collection of …
Logics in Artificial Intelligence
13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings
Av Luis Fariñas del Cerro, Andreas Herzig m. fl.
Häftad, 2012
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various …
Logics in Artificial Intelligence
13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings
Av Jerome Mengin, Andreas Herzig m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various …
