1
Published 2004
Springer Berlin Heidelberg
Subjects: ...Computer logic...

2
by Boley, Harold
Published 1999
Springer Berlin Heidelberg
... such as artificial intelligence, computational logic, and programming languages various relational and functional...