Filter
Datavetenskap
Filter
Prolog is a programming language, but a rather unusual one. Prolog'' is short for Programming with Logic'', and the link with logic gives Prolog its special character. At the …
This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, …
This book provides an introduction to several mathematical topics of importance in Computer Science but often considered to be outside the scope of traditional Discrete Methods …