Κανονική προβολή Προβολή MARC Προβολή ISBD

Andrews, James H.

Logic programming operational semantics and proof theory James H. Andrews - [x.τ.] Cambridge University Press 1992 - xi, 104 p. 26 cm - Distinguished dissertations in computer science .

Includes appendix, bibliography and index

ISBN: 0521432197

Subjects--Topical Terms:
Λογικός προγραμματισμός
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού

Dewey Class. No.: 005.115