Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8.
Walter Alexandre CarnielliPublished in: Stud Logica (2004)
Keyphrases
- computer science
- artificial intelligence
- electrical engineering
- lecture notes
- user interaction
- researchers and practitioners
- user interface
- cellular automata
- data mining
- computer science students
- computer algebra
- automated reasoning
- information overload
- user preferences
- end users
- machine learning
- information security
- user defined
- user satisfaction
- social sciences
- relevance feedback
- query formulation
- multi valued
- knowledge base
- data sets