Electronic Books

Total Books: 61 - 80 /116

Guida alla teoria degli insiemi = Guide to set theory

Teachers are in difficulty with regard to the space and emphasis to be given to set theory topics, in their preparation and ...

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...

Information and Knowledge : A Constructive Type-theoretical Approach

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...

Innovations for Requirement Analysis. From Stakeholders Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...

KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...

Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ...

Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Total Books: 61 - 80 /116