Handbook of practical logic and automated reasoning /

Main Author: Harrison, J. 1966-
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, 2009.
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο ΜακεδονίαςQA76.9.L63H375 20091ΠροβολήOPAC