Normal view MARC view

Logic Programming (Topical Term)

Preferred form: Logic Programming

Machine generated authority record.

Work cat.: (OSt)190244: Ben-Ari, Mordechai. 125462, Mathematical logic for computer science /, 2008.