Electronic Books

Total Books: 1001 - 1020 /1614

Adresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems as they ...

Liver is the second largest organ in human body, more than 5,000 separate bodily functions including helping blood to clot, ...

A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. ...

Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local ...

These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September ...

nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...

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

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...

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

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

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

This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

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

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

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...

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

The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...

This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming ...

Total Books: 1001 - 1020 /1614