Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
The Deductive Spreadsheet
häftad,
2016,
Engelska,
ISBN 9783662512456
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort …
Advances in Computer Science - ASIAN 2007. Computer and Network Security
häftad,
2007,
Engelska,
ISBN 9783540769279
This book constitutes the refereed proceedings of the 12th Asian Computing Science Conference, ASIAN 2007, held in Doha, Qatar, in December 2007. Covering all current aspects of …
Logic for Programming, Artificial Intelligence, and Reasoning
häftad,
2008,
Engelska,
ISBN 9783540894384
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in …